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

Search-based software testing is the application of metaheuristic search techniques to
generate software tests. The test adequacy criterion is transformed into a fitness function and …

Automated program repair has shown promise for reducing the significant manual effort
debugging requires. This paper addresses a deficit of earlier evaluations of automated …

This paper describes GenProg, an automated method for repairing defects in off-the-shelf,
legacy programs without formal specifications, program annotations, or special coding …

Automatic program repair has been a longstanding goal in software engineering, yet
debugging remains a largely manual process. We introduce a fully automated method for …

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 …

The abundance of defects in existing software systems is unsustainable. Addressing them is
a dominant cost of software maintenance, which in turn dominates the life cycle cost of a …

Neural program embeddings have demonstrated considerable promise in a range of
program analysis tasks, including clone identification, program repair, code completion, and …

Automated program repair is a promising approach to reducing the costs of manual
debugging and increasing software quality. However, recent studies have shown that …

Formally verified correctness is one of the most desirable properties of software systems. But
despite great progress made via interactive theorem provers, such as Coq, writing proof …