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

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

Browse the full ICSE paper archive.