Program Repair as a Game (0)

by B Jobstmann, A Griesmayer, R Bloem
Venue:CAV’2005, LNCS 3576