David Landsberg

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 5

Top Topics

Real Time Embedded Systems

Fault Diagnosis

Evaluation Measures

Statistical Tests

Top Venues

Haifa Verification Conference

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

David Landsberg, Earl T. Barr
Automated Fix Detection Given Flaky Tests. CoRR (2018)
David Landsberg, Youcheng Sun, Daniel Kroening
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications. FASE (2018)
David Landsberg, Earl T. Barr
Doric: Foundations for Statistical Fault Localisation. CoRR (2018)
David Landsberg, Hana Chockler, Daniel Kroening
Probabilistic Fault Localisation. Haifa Verification Conference (2016)
David Landsberg, Hana Chockler, Daniel Kroening, Matt Lewis
Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme. FASE (2015)