Optimising spectrum based fault localisation for single fault programs using specifications

<p>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 subjec...

Full description

Bibliographic Details
Main Authors: Landsberg, D, Sun, Y, Kroening, D
Format: Conference item
Published: Springer, Cham 2018