Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

Résumé

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 cases modeling the expected behavior of the program and at least one failing test case embodying the bug to be repaired. It consists of collecting data from multiple instrumented test suite executions, transforming this data into a Satisfiability Modulo Theory (SMT) problem, and translating the SMT result -- if there exists one -- into a source code patch. Nopol repairs object oriented code and allows the patches to contain nullness checks as well as specific method calls.
Fichier principal
Vignette du fichier
NOPOL-Automatic-Repair-of-Buggy-If-Conditions-and-Missing-Preconditions-with-SMT.pdf (197.31 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00977798 , version 1 (11-04-2014)

Identifiants

Citer

Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus. Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT. Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis, 2014, Hyderabad, India. ⟨10.1145/2593735.2593740⟩. ⟨hal-00977798⟩
266 Consultations
1552 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More