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

by A Griesmayer, R Bloem, B Cook
Venue:In 18th Conference on Computer Aided Verification (CAV’06