Travelled to:
1 × United Kingdom
Collaborated with:
Y.Sun D.Kroening H.Chockler D.Kröning M.Lewis
Talks about:
fault (3) optimis (2) localis (2) spectrum (1) statist (1) program (1) specif (1) scheme (1) measur (1) singl (1)
Person: David Landsberg
DBLP: Landsberg:David
Contributed to:
Wrote 2 papers:
- FASE-2015-LandsbergCKL #evaluation #fault #locality #metric #optimisation #statistics
- Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme (DL, HC, DK, ML), pp. 115–129.
- FASE-2018-LandsbergSK #fault #locality #optimisation #source code #specification #using
- Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications (DL, YS, DK), pp. 246–263.