Bug Hide-and-Seek: An Educational Game for Investigating Verification Accuracy in Software Tests.

Kevin Buffardi, Pedro Valdivia

Browse the full FIE paper archive.