Regression testing ensures that modified software code changes have not adversely affected existing modules. The test suite size increases with modification to the based on end-user requirements. executes complete after updates in software. Re-execution of new cases along is costly. scientific community has proposed prioritization techniques for selecting and minimizing minimize cost regression...

This work considers conformance testing (functional testing). The main distinction from the other works is the availability of mapping from implementation states to specification ones. This information allows us to simplify test development and to reduce test execution time. We introduce a novel implementation relation called conff and composite test suites. The conff relation minimizes the siz...

Mutation testing measures the adequacy of a test suite by seeding artificial defects (mutations) into a program. If a mutation is not detected by the test suite, this usually means that the test suite is not adequate. However, it may also be that the mutant keeps the program’s semantics unchanged— and thus cannot be detected by any test. Such equivalent mutants have to be eliminated manually, w...