Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair

Martin Monperrus 1 Benoit Baudry 2
1 ADAM - Adaptive Distributed Applications and Middleware
LIFL - Laboratoire d'Informatique Fondamentale de Lille, Inria Lille - Nord Europe
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : In this paper, we discuss two families of automated software repair approaches that we call ''rigid repair'' and ''plastic repair''. We shape the notions of rigid repair and plastic repair around the perception of software correctness. Rigid repair relies on a binary notion of ''bug'' and ''repair''. Plastic repair refers to the plasticity of software, both in terms of correctness and in terms of intrinsic characteristics.
Document type :
Reports
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00844735
Contributor : Martin Monperrus <>
Submitted on : Monday, July 15, 2013 - 5:52:27 PM
Last modification on : Thursday, February 21, 2019 - 10:52:48 AM

Identifiers

  • HAL Id : hal-00844735, version 1

Citation

Martin Monperrus, Benoit Baudry. Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair. [Research Report] Dagstuhl Seminar 13061 "Fault Prediction, Localization, and Repair", Schloss Dagstuhl - Leibniz Center for Informatics. 2013, pp.5. ⟨hal-00844735⟩

Share

Metrics

Record views

993