Applying adaptive test cases to nondeterministic implementations
From MaRDI portal
Publication:844156
DOI10.1016/j.ipl.2005.12.001zbMath1187.68162MaRDI QIDQ844156
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
software engineering; adaptive test cases; minimising cost; nondeterministic implementation; state-based testing; test execution
68N99: Theory of software
Related Items
Test selection for traces refinement, The complexity of asynchronous model based testing, Synthesizing adaptive test strategies from temporal logic specifications
Cites Work