About a decade after the initial proposal to use model checkers for the generation of test
cases we take a look at the results in this field of research. Model checkers are formal …

This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …

Mutation testing is a powerful methodology for evaluating test suite quality. In mutation
testing, a large number of mutants are generated and executed against the test suite to …

Symbolic execution is a popular technique for automatically generating test cases achieving
high structural coverage. Symbolic execution suffers from scalability issues since the …

Presents a method for automatically generating test cases according to structural coverage
criteria. We show how a model checker can be used to automatically generate complete test …

A number of structural coverage criteria have been proposed to measure the adequacy of
testing efforts. In the avionics and other critical systems domains, test suites satisfying …

In the agile domain, test cases are derived from acceptance criteria to verify the expected
system behavior. However, the design of test cases is laborious and has to be done …

In black-box testing, one is interested in creating a suite of tests from requirements that
adequately exercise the behavior of a software system without regard to the internal …

In previous decades, researchers have explored the formal foundations of program testing.
By exploring the foundations of testing largely separate from any specific method of testing …

Model checking techniques can be successfully employed as a test case generation
technique to generate tests from formal models. The number of tests cases produced …