Can I read Automatic repair of buggy if conditions and missing preconditions with SMT on EtoBox?

Automatic repair of buggy if conditions and missing preconditions with SMT by Favio DeMarco; Jifeng Xuan; Daniel Le Berre; Martin Monperrus is a scholarly article available to read on EtoBox.

What is Automatic repair of buggy if conditions and missing preconditions with SMT about?

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.

Author

Favio DeMarco; Jifeng Xuan; Daniel Le Berre; Martin Monperrus

Publisher

ACM

Published

2014

Language

EN