Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. - David Landsberg; Hana Chockler; Daniel Kroening; Matt Lewis (FASE, 2015)

Probabilistic Fault Localisation. - David Landsberg; Hana Chockler; Daniel Kroening (Haifa Verification Conference, 2016)

Methods and measures for statistical fault localisation. - David Landsberg (2016)

Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. - David Landsberg; Youcheng Sun; Daniel Kroening (FASE, 2018)

Doric: Foundations for Statistical Fault Localisation. - David Landsberg; Earl T. Barr (CoRR, 2018)

Automated Fix Detection Given Flaky Tests. - David Landsberg; Earl T. Barr (CoRR, 2018)

Matrices for Doric experiments. - David Landsberg (IEEE DataPort, 2018)