activity
20122026
most citedNopol: Automatic Repair of Conditional Statement Bugs in Java Programs

432 citations · 5.8k across the 150 of their papers we have counts for

collaborators
Showing 2015 · cs.SEShow all

9 papers · 2 filters

cs.SE2015★ 24 cited

NPEFix: Automatic Runtime Repair of Null Pointer Exceptions in Java

Benoit Cornu, Thomas Durieux, Lionel Seinturier +1

Null pointer exceptions, also known as null dereferences are the number one exceptions in the field. In this paper, we propose 9 alternative execution semantics when a null pointer…

cs.SE2015★ 1 cited

A Learning Algorithm for Change Impact Prediction

Vincenzo Musco, Antonin Carette, Martin Monperrus +1

Change impact analysis consists in predicting the impact of a code change in a software application. In this paper, we take a learning perspective on change impact analysis and con…

cs.SE2015★ 6 cited

Automatic Software Diversity in the Light of Test Suites

Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio +1

A few works address the challenge of automating software diversification, and they all share one core idea: using automated test suites to drive diversification. However, there is…

cs.SE2015★ 1 cited

Dynamic Analysis can be Improved with Automatic Test Suite Refactoring

Jifeng Xuan, Benoit Cornu, Matias Martinez +3

Context: Developers design test suites to automatically verify that software meets its expected behaviors. Many dynamic analysis techniques are performed on the exploitation of exe…

cs.SE2015

Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset

Matias Martinez, Thomas Durieux, Jifeng Xuan +2

Defects4J is a large, peer-reviewed, structured dataset of real-world Java bugs. Each bug in Defects4J is provided with a test suite and at least one failing test case that trigger…

cs.SE2015★ 13 cited

Automatic Repair of Infinite Loops

Sebastian R. Lamelas Marcote, Martin Monperrus

Research on automatic software repair is concerned with the development of systems that automatically detect and repair bugs. One well-known class of bugs is the infinite loop. Eve…

cs.SE2015★ 1 cited

DSpot: Test Amplification for Automatic Assessment of Computational Diversity

Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio +1

Context: Computational diversity, i.e., the presence of a set of programs that all perform compatible services but that exhibit behavioral differences under certain conditions, is…

cs.SE2015★ 2 cited

Software that Learns from its Own Failures

Martin Monperrus

All non-trivial software systems suffer from unanticipated production failures. However, those systems are passive with respect to failures and do not take advantage of them in ord…

cs.SE2015★ 3 cited

Casper: Debugging Null Dereferences with Dynamic Causality Traces

Benoit Cornu, Earl T. Barr, Lionel Seinturier +1

Fixing a software error requires understanding its root cause. In this paper, we introduce ''causality traces'', crafted execution traces augmented with the information needed to r…