Program repair as a game (2005)

by Barbara Jobstmann, Andreas Griesmayer, Roderick Bloem
Venue:In CAV’05: Computer Aided Verification