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.
Type de document :
Rapport
[Research Report] Dagstuhl Seminar 13061 "Fault Prediction, Localization, and Repair", Schloss Dagstuhl - Leibniz Center for Informatics. 2013, pp.5
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00844735
Contributeur : Martin Monperrus <>
Soumis le : lundi 15 juillet 2013 - 17:52:27
Dernière modification le : mercredi 22 novembre 2017 - 01:15:54

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

498