Login / Signup
Favio Demarco
Publication Activity (10 Years)
Years Active: 2014-2018
Publications (10 Years): 2
Top Topics
Sufficient Conditions
Explanation Based Learning
Test Case Generation
Missing Values
Top Venues
CoRR
CSTVA
IEEE Trans. Software Eng.
</>
Publications
</>
Jifeng Xuan
,
Matias Martinez
,
Favio Demarco
,
Maxime Clément
,
Sebastian R. Lamelas Marcote
,
Thomas Durieux
,
Daniel Le Berre
,
Martin Monperrus
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs.
CoRR
(2018)
Jifeng Xuan
,
Matias Martinez
,
Favio Demarco
,
Maxime Clement
,
Sebastian R. Lamelas Marcote
,
Thomas Durieux
,
Daniel Le Berre
,
Martin Monperrus
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs.
IEEE Trans. Software Eng.
43 (1) (2017)
Favio Demarco
,
Jifeng Xuan
,
Daniel Le Berre
,
Martin Monperrus
Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT.
CoRR
(2014)
Favio Demarco
,
Jifeng Xuan
,
Daniel Le Berre
,
Martin Monperrus
Automatic repair of buggy if conditions and missing preconditions with SMT.
CSTVA
(2014)