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...

תיאור מלא

מידע ביבליוגרפי
Main Authors: Landsberg, D, Chockler, H, Kroening, D
פורמט: Conference item
יצא לאור: Springer 2016