Probabilistic fault localisation
Efficient fault localisation is becoming increasingly important as software grows in size and complexity. In this paper we present a new formal framework, denoted probabilistic fault localisation (pfl), and compare it to the established framework of spectrum based fault localisation (sbfl). We forma...
প্রধান লেখক: | Landsberg, D, Chockler, H, Kroening, D |
---|---|
বিন্যাস: | Conference item |
প্রকাশিত: |
Springer
2016
|
অনুরূপ উপাদানগুলি
অনুরূপ উপাদানগুলি
-
Optimising spectrum based fault localisation for single fault programs using specifications
অনুযায়ী: Landsberg, D, অন্যান্য
প্রকাশিত: (2018) -
Methods and measures for statistical fault localisation
অনুযায়ী: Landsberg, D
প্রকাশিত: (2016) -
Explaining image classifiers using statistical fault localization
অনুযায়ী: Sun, Y, অন্যান্য
প্রকাশিত: (2020) -
Coverage in interpolation-based model checking
অনুযায়ী: Chockler, H, অন্যান্য
প্রকাশিত: (2010) -
Computing mutation coverage in interpolation-based model checking
অনুযায়ী: Chockler, H, অন্যান্য
প্রকাশিত: (2012)