Conformance testing in the presence of multiple faults

MaRDI QIDQ2921787zbMATH OpenFDO

Authors Viraj Kumar, Mahesh Viswanathan

Publication date 13 October 2014

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Directed graphs (digraphs), tournaments (05C20) Randomized algorithms (68W20) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Random walks on graphs (05C81)

Recommendations

• Testing finite state machines: Fault detection
• On conformance testing of non-deterministic systems
• Conformance Tests as Checking Experiments for Partial Nondeterministic FSM
• scientific article; zbMATH DE number 1418458
• Lower bounds on lengths of checking sequences

Cited in

(3)

• Testing finite state machines: Fault detection
• Locating errors in faulty formulas
• Development of a multiple intermittent fault testing strategy

This page was built for publication: Conformance testing in the presence of multiple faults

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2921787)