Repair of boolean programs with an application to C (2006)

by A Griesmayer, R Bloem, B Cook
Venue:CAV, volume 4144 of LNCS