Throughout its short history, software development has been characterized by harmful
disconnects between important activities eg, planning, development and implementation …

Formally verifying software is a highly desirable but labor-intensive task. Recent work has
developed methods to automate formal verification using proof assistants, such as Coq and …

Throughout its short history, software development has been characterized by harmful
disconnects between important activities such as planning, development and …

This paper defines software fairness and discrimination and develops a testing-based
method for measuring if and how much software discriminates, focusing on causality in …

Continuous integration (CI) systems automate the compilation, building, and testing of
software. Despite CI rising as a big success story in automated software engineering, it has …

When a program fails to process an input, it need not be the program code that is at fault. It
can also be that the input data is faulty, for instance as result of data corruption. To get the …

A goal of software engineering research is advancing software quality and the success of
the software engineering process. However, while recent studies have demonstrated a new …

Bias in decisions made by modern software is becoming a common and serious problem.
We present Themis, an automated test suite generator to measure two types of …

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

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 …