This article presents a survey on automatic software repair. Automatic software repair
consists of automatically finding a solution to software bugs without human intervention. This …

At ICSE'2013, there was the first session ever dedicated to automatic program repair. In this
session, Kim et al. presented PAR, a novel template-based approach for fixing Java bugs …

Testing involves examining the behaviour of a system in order to discover potential faults.
Given an input for a system, the challenge of distinguishing the corresponding desired …

Despite decades of work by researchers and practitioners on numerous software quality
assurance techniques, testing remains one of the most widely practiced and studied …

Without complete formal specification, automatically generated software tests need to be
manually checked in order to detect faults. This makes it desirable to produce the strongest …

Modern software often exposes configuration options that enable users to customize its
behavior. During software evolution, developers may change how the configuration options …

Testers use model-based testing to design abstract tests from models of the system's
behavior. Testers instantiate the abstract tests into concrete tests with test input values and …

Security testing aims at verifying that the software meets its security properties. In modern
Web systems, however, this often entails the verification of the outputs generated when …

Defining test oracles is crucial and central to test development, but manual construction of
oracles is expensive. While recent neural-based automated test oracle generation …

From simulating galaxy formation to viral transmission in a pandemic, scientific models play
a pivotal role in developing scientific theories and supporting government policy decisions …