432 citations · 5.8k across the 150 of their papers we have counts for
11 papers · 2 filters
ASTOR: Evolutionary Automatic Software Repair for Java
Matias Martinez, Martin Monperrus
Context: During last years, many automatic software repair approaches have been presented by the software engineering research community. According to the corresponding papers, the…
A Generative Model of Software Dependency Graphs to Better Understand Software Evolution
Vincenzo Musco, Martin Monperrus, Philippe Preux
Software systems are composed of many interacting elements. A natural way to abstract over software systems is to model them as graphs. In this paper we consider software dependenc…
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond
Benoit Baudry, Martin Monperrus
Early experiments with software diversity in the mid 1970's investigated N-version programming and recovery blocks to increase the reliability of embedded systems. Four decades lat…
Test Case Purification for Improving Fault Localization
Jifeng Xuan, Martin Monperrus
Finding and fixing bugs are time-consuming activities in software development. Spectrum-based fault localization aims to identify the faulty position in source code based on the ex…
Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges And Solutions for Analyzing Android
Alexandre Bartel, Jacques Klein, Martin Monperrus +1
A common security architecture is based on the protection of certain resources by permission checks (used e.g., in Android and Blackberry). It has some limitations, for instance, w…
A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair
Martin Monperrus
At ICSE'2013, there was the first session ever dedicated to automatic program repair. In this session, Kim et al. presented PAR, a novel template-based approach for fixing Java bug…
Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
Favio Demarco, Jifeng Xuan, Daniel Le Berre +1
We present Nopol, an approach for automatically repairing buggy if conditions and missing preconditions. As input, it takes a program and a test suite which contains passing test c…
Principles of Antifragile Software
Martin Monperrus
The goal of this paper is to study and define the concept of "antifragile software". For this, I start from Taleb's statement that antifragile systems love errors, and discuss whet…
Do the Fix Ingredients Already Exist? An Empirical Inquiry into the Redundancy Assumptions of Program Repair Approaches
Matias Martinez, Westley Weimer, Martin Monperrus
Much initial research on automatic program repair has focused on experimental results to probe their potential to find patches and reduce development effort. Relatively less effort…
An Approach for Discovering Traceability Links between Regulatory Documents and Source Code Through User-Interface Labels
Antoine Mischler, Martin Monperrus
In application domains that are regulated, software vendors must maintain traceability links between the regulatory items and the code base implementing them. In this paper, we pre…
Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants
Benoit Baudry, Simon Allier, Martin Monperrus
The predictability of program execution provides attackers a rich source of knowledge who can exploit it to spy or remotely control the program. Moving target defense addresses thi…