TY  - RPRT
TI  - Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT
AU  - Favio Demarco
AU  - Jifeng Xuan
AU  - Daniel Le Berre
AU  - Martin Monperrus
PY  - 2014
DO  - 10.1145/2593735.2593740
UR  - https://arxiv.org/abs/1404.3186
ID  - 1404.3186
ER  -