94 citations · 122 across the 5 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…