Applying adaptive test cases to nondeterministic implementations

DOI10.1016/j.ipl.2005.12.001zbMath1187.68162OpenAlexW2147259298MaRDI QIDQ844156

Robert M. Hierons

Publication date: 18 January 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://bura.brunel.ac.uk/handle/2438/353

zbMATH Keywords

software engineeringadaptive test casesminimising costnondeterministic implementationstate-based testingtest execution

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items

Test selection for traces refinement, The complexity of asynchronous model based testing, Synthesizing adaptive test strategies from temporal logic specifications

Cites Work

• Minimizing the number of inputs while applying adaptive test cases
• Formal Techniques for Networked and Distributed Systems - FORTE 2003