In the avionics domain, the use of structural coverage criteria is legally required in
determining test suite adequacy. With the success of automated test generation tools, it is …

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 …

A common application of search-based software testing is to generate test cases for all goals
defined by a coverage criterion (eg, statements, branches, mutants). Rather than generating …

Test suite augmentation techniques are used in regression testing to identify code elements
affected by changes and to generate test cases to cover those elements. Our preliminary …

Not all bugs lead to program crashes, and not always is there a formal specification to check
the correctness of a software test's outcome. A common scenario in software testing is …

Test suite augmentation techniques are used in regression testing to identify code elements
in a modified program that are not adequately tested and to generate test cases to cover …

A fundamental question in software testing research is how to compare test suites, often as a
means for comparing test-generation techniques. Researchers frequently compare test …

A number of criteria have been proposed to judge test suite adequacy. While search-based
test generation has improved greatly at criteria coverage, the produced suites are still often …

A fundamental question in software testing research is how to compare test suites, often as a
means for comparing test-generation techniques that produce those test suites. Researchers …

Automated test case generation is an effective technique to yield high-coverage test suites.
While the majority of research effort has been devoted to satisfying coverage criteria, a …