Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications.

David Landsberg, Youcheng Sun, Daniel Kroening

Browse the full FASE paper archive.