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 …

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 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 …

We present an adaptive software testing strategy for test case allocation, selection and
generation, based on the combined use of operational profile and coverage spectrum …

Modern test case generation techniques can automatically achieve high code coverage. If
they operate on the unit level, they run the risk of generating inputs infeasible in reality …

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 …

Test case generation tools that optimize code coverage have been extensively investigated.
Recently, researchers have suggested to add other non-coverage criteria, such as memory …

Search-based test case generation, which is the application of meta-heuristic search for
generating test cases, has been studied a lot in the literature, lately. Since, in theory, the …

Executing large test suites is time and resource consuming, sometimes impossible, and
such test suites typically contain many redundant test cases. Hence, test case (suite) …

Automated test case generation has proven to be useful to reduce the usually high
expenses of software testing. However, several studies have also noted the skepticism of …