David Landsberg
David Landsberg
Verified email at linacre.ox.ac.uk
Title
Cited by
Cited by
Year
Evaluation of measures for statistical fault localisation and an optimising scheme
D Landsberg, H Chockler, D Kroening, M Lewis
International Conference on Fundamental Approaches to Software Engineering …, 2015
232015
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications.
D Landsberg, Y Sun, D Kroening
FASE, 246-263, 2018
42018
Probabilistic Fault Localisation
D Landsberg, H Chockler, D Kroening
Haifa Verification Conference, 65-81, 2016
32016
Doric: Foundations for Statistical Fault Localisation
D Landsberg, E Barr
arXiv preprint arXiv:1810.00798, 2018
12018
Methods and measures for statistical fault localisation
D Landsberg
University of Oxford, 2016
12016
Automated Fix Detection Given Flaky Tests
D Landsberg, E Barr
arXiv preprint arXiv:1810.02659, 2018
2018
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme
H Chockler, D Kroening, D Landsberg, M Lewis
The system can't perform the operation now. Try again later.
Articles 1–7