Program Repair as a Game (2005)

by B Jobstmann, A Griesmayer, R Bloem
Venue:In Proc. 17th Int. Conf. on Computer Aided Verification (CAV