Metamorphic testing is an approach to both test case generation and test result verification.
A central element is a set of metamorphic relations, which are necessary properties of the …

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 …

Concept This paper is a living review on automatic program repair 1. Compared to a
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …

Automated program repair techniques use a buggy program and a partial specification
(typically a test suite) to produce a program variant that satisfies the specification. While prior …

We present MemFix, an automated technique for fixing memory deallocation errors in C
programs. MemFix aims to fix memory-leak, double-free, and use-after-free errors, which …

Metamorphic testing is well known for its ability to alleviate the oracle problem in software
testing. The main idea ofmetamorphic testing is to test a software system by checking …

With the tremendous advancement of Deep Neural Networks (DNNs), autonomous driving
systems (ADS) have achieved significant development and been applied to assist in many …

Metamorphic relations (MRs) describe the invariant relationships between program inputs
and outputs. By checking for violations of MRs, faults in programs can be detected …

Context: Metamorphic testing (MT) has been successfully applied to a wide scope of
software systems. In these applications, the testing results of MT form the basis for drawing …

We present SAVER, a new memory-error repair technique for C programs. Memory errors
such as memory leak, double-free, and use-after-free are highly prevalent and fixing them …