432 citations · 5.8k across the 150 of their papers we have counts for
3 papers · 1 filter
Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation
Benjamin Danglot, Philippe Preux, Benoit Baudry +1
Can the execution of a software be perturbed without breaking the correctness of the output? In this paper, we devise a novel protocol to answer this rarely investigated question.…
Production-Driven Patch Generation and Validation
Thomas Durieux, Youssef Hamadi, Martin Monperrus
We envision a world where the developer would receive each morning in her GitHub dashboard a list of potential patches that fix certain production failures. For this, we propose a…
BanditRepair: Speculative Exploration of Runtime Patches
Thomas Durieux, Youssef Hamadi, Martin Monperrus
We propose, BanditRepair, a system that systematically explores and assesses a set of possible runtime patches. The system is grounded on so-called bandit algorithms, that are onli…