Repair of Boolean Programs with an Application to C
2006 ◽
pp. 358-371
◽