Favio Demarco

According to our database, Favio Demarco authored at least 2 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs.

Jifeng Xuan, Matias Martinez, Favio Demarco, Maxime Clement, Sebastian R. Lamelas Marcote, Thomas Durieux, Daniel Le Berre, Martin Monperrus

IEEE Trans. Software Eng., 2017

2014

Automatic repair of buggy if conditions and missing preconditions with SMT.

Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus

Proceedings of the 6th International Workshop on Constraints in Software Testing, 2014