@inproceedings{5445f0eee64549488fb5c1059ef46fba,
title = "Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications.",
abstract = "Spectrum based fault localisation determines how suspicious a line of code is with respect to being faulty as a function of a given test suite. Outstanding problems include identifying properties that the test suite should satisfy in order to improve fault localisation effectiveness subject to a given measure, and developing methods that generate these test suites efficiently.We address these problems as follows. First, when single bug optimal measures are being used with a single-fault program, we identify a formal property that the test suite should satisfy in order to optimise fault localisation. Second, we introduce a new method which generates test data that satisfies this property. Finally, we empirically demonstrate the utility of our implementation at fault localisation on sv-comp benchmarks and the tcas program, demonstrating that test suites can be generated in almost a second with a fault identified after inspecting under 1% of the program.",
author = "David Landsberg and Youcheng Sun and Daniel Kroening",
year = "2018",
month = apr,
day = "4",
doi = "10.1007%2F978-3-319-89363-1_14",
language = "English",
volume = "10802",
series = "Lecture Notes in Computer Science",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "246--263",
booktitle = "2018 International Conference on Fundamental Approaches to Software Engineering (FASE 2018): Proceedings",
address = "United States",
}