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 …

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 …

All engineering disciplines are founded and rely on models, although they may differ on
purposes and usages of modeling. Among the different disciplines, the engineering of Cyber …

In presence of multiple objectives to be optimized in Search-Based Software Engineering
(SBSE), Pareto search has been commonly adopted. It searches for a good approximation of …

Code coverage is one of the main metrics to measure the adequacy of a test case/suite. It
has been studied a lot in academia and used even more in industry. However, a test case …

Mutation testing is a powerful methodology for evaluating the quality of a test suite. However,
the methodology is also very costly, as the test suite may have to be executed for each …

We study the relative efficiencies of the random and systematic approaches to automated
software testing. Using a simple but realistic set of assumptions, we propose a general …

Context Testing and verification of automotive embedded software is a major challenge.
Software production in automotive domain comprises three stages: Developing automotive …

One of the requirements of Modified Condition and Decision Coverage (MCDC) is that test
cases should be selected to demonstrate that a condition can independently affect the …

Test adequacy metrics defined over the structure of a program, such as Modified Condition
and Decision Coverage (MC/DC), are used to assess testing efforts. However, MC/DC can …