ARJA: Automated Repair of Java Programs via Multi-Objective Genetic Programming Abstract: Automated program repair is the problem of automatically fixing bugs in programs in order to significantly ...

The Microsoft Researcher Recognition Program offers public thanks and recognition to security researchers who help protect our customers through discovering and sharing security vulnerabilities under ...

Benchmarks of bugs are essential to empirically evaluate automatic program repair tools. In this paper, we present BEARS, a project for collecting and storing bugs into an extensible bug benchmark for ...

A reactor in Tehran is a monument to the U.S. relationship with Iran when the country was led by a secular, pro-Western monarch.