Showing 1 - 3 results of 3 for search 'Landsberg, D', query time: 0.02s Refine Results
  1. 1
    Methods and measures for statistical fault localisation

    Methods and measures for statistical fault localisation by Landsberg, D

    Published 2016
    Thesis
  2. 2
    Optimising spectrum based fault localisation for single fault programs using specifications

    Optimising spectrum based fault localisation for single fault programs using specifications by Landsberg, D, Sun, Y, Kroening, D

    Published 2018
    Conference item
  3. 3
    Probabilistic fault localisation

    Probabilistic fault localisation by Landsberg, D, Chockler, H, Kroening, D

    Published 2016
    Conference item

Search Tools: