In the past five years there has been a dramatic increase in work on Search Based Software
Engineering (SBSE), an approach to software engineering in which search based …

Mutation testing realizes the idea of using artificial defects to support testing activities.
Mutation is typically used as a way to evaluate the adequacy of test suites, to guide the …

Mutation Testing is a fault-based software testing technique that has been widely studied for
over three decades. The literature on Mutation Testing has contributed a set of approaches …

Fault localization methods seek to identify faulty program statements based on the
information provided by the failing and passing test executions. Spectrum‐based methods …

Software bugs remain a compelling problem. Automated program repair is a promising
approach for reducing cost, and many methods have recently demonstrated positive results …

Identifying equivalent mutants remains the largest impediment to the widespread uptake of
mutation testing. Despite being researched for more than three decades, the problem …

This paper introduces a new paradigm for Mutation Testing, which we call Higher Order
Mutation Testing (HOM Testing). Traditional Mutation Testing considers only first order …

Traditional mutation testing considers only first order mutants, created by the injection of a
single fault. Often these first order mutants denote trivial faults that are easily killed. This …

This paper presents a survey of work on Search Based Software Engineering (SBSE) for
Software Product Lines (SPLs). We have attempted to be comprehensive, in the sense that …

Symbolic execution is a promising testing and analysis methodology. It systematically
explores a program's execution space and can generate test cases with high coverage. One …