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

by A Griesmayer, R Bloem, B Cook
Venue:18th Conference on Computer Aided Verification (CAV), volume 4144/2006 of LNCS