R.: Angelic debugging (2011)

by S Chandra, E Torlak, S Barman, Bodik
Venue:In: ICSE