Applying adaptive test cases to nondeterministic implementations

DOI10.1016/J.IPL.2005.12.001MaRDI QIDQ844156zbMATH OpenOpenAlexFDO

Authors 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

adaptive test casesminimising costnondeterministic implementationsoftware engineeringstate-based testingtest execution

Mathematics Subject Classification ID

Theory of software (68N99)

Cites work

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

Cited in

(3)

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

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

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