Conference item icon

Conference item

Probabilistic fault localisation

Abstract:

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 formally prove that pfl satisfies some desirable properties which sbfl does not, empirically demonstrate that pfl is signifuicantly more effective at finding faults than all known sbfl measures in large...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-49052-6_5

Authors


More by this author
Institution:
University of Oxford
Oxford college:
Linacre College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
Publisher:
Springer
Host title:
12th International Haifa Verification Conference - Hardware and Software: Verification and Testing
Journal:
HVC 2016 - Hardware and Software: Verification and Testing More from this journal
Publication date:
2016-11-01
Acceptance date:
2016-09-05
DOI:
ISSN:
0302-9743 and 1611-3349
ISBN:
9783319490519
Keywords:
Pubs id:
pubs:664494
UUID:
uuid:f89f78f4-bf8f-4ee5-b6a3-66e5f38e3bec
Local pid:
pubs:664494
Source identifiers:
664494
Deposit date:
2017-01-28

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP