2
Publications
550
Citations
2
H-Index
2014
Active since
Favio DeMarco is an author at Université de Lille specializing in formal methods, reliability engineering, and engineering.
Top concepts
FuzzingEngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2014–2016
2
2
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
Jifeng Xuan, Matías Martínez, Favio DeMarco et al. · IEEE Transactions on Software Engineering · 2016 · 409 citations · Full text
Automatic repair of buggy if conditions and missing preconditions with SMT
Favio DeMarco, Jifeng Xuan, Daniel Le Berre et al. · 2014 · 141 citations · Full text
Rows per page
1–2 of 2