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

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính: Landsberg, D, Chockler, H, Kroening, D
Định dạng: Conference item
Được phát hành: Springer 2016