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 (3)

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

This page was built for publication: Applying adaptive test cases to nondeterministic implementations