Refining spectrum-based fault localization rankings

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2009, Pages 409-414

  Abreu, Rui ^a   Mayer, Wolfgang ^b   Stumptner, Markus ^b   Van Gemund, Arjan J C ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF SOUTH AUSTRALIA   (Australia)

Author keywords

Abstract interpretation; Fault localization; Program spectra

Indexed keywords

ABSTRACT INTERPRETATIONS; AUTOMATED DEBUGGING; DIAGNOSTIC ACCURACY; DIAGNOSTIC QUALITY; FAULT LOCALIZATION; MODEL BASED APPROACH; MODEL-BASED; PROGRAM SPECTRA; PROGRAM STATEMENTS; SOFTWARE DEVELOPER; STATISTICAL TECHNIQUES;

ABSTRACTING; COMPUTER SCIENCE; COMPUTER VISION; PROGRAM INTERPRETERS; REFINING; SEMANTICS;

PROGRAM DIAGNOSTICS;

EID: 72949088188     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1529282.1529374     Document Type: Conference Paper

References (19)

1. R. Abreu, A. González, P. Zoeteweij, and A. J. C. van Gemund. Automatic software fault localization using generic program invariants. In Proc. SAC'08 - SE Track. ACM Press, 2008.
2. R. Abreu, P. Zoeteweij, and A. J. C. van Gemund. On the accuracy of spectrum-based fault localization. In TAIC PART'07. IEEE CS, 2007.
3. R. Abreu, P. Zoeteweij, and A. J. C. van Gemund. An observation-based model for fault localization. In Proc. WODA'08. ACM Press, 2008.
4. C. Böttcher. No faults in structure? How to diagnose hidden interaction. In Proc. IJCAI, 1995.
5. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. POPL'77. ACM Press, 1977.
6. D. R. Engler and D. Dunbar. Under-constrained execution: making automatic code destruction easy and scalable. In Proc. ISSTA'07. ACM Press, 2007.
7. A. Groce, S. Chaki, D. Kroening, and O. Strichman. Error explanation with distance metrics. STTT, 8(3):229-247, 2006.
8. J. A. Jones and M. J. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In ASE'05. ACM Press, 2005.
9. C. Liu, X. Yan, L. Fei, J. Han, and S. P. Midkiff. SOBER: statistical model-based bug localization. In FSE'05. ACM Press, 2005.
10. W. Mayer, R. Abreu, M. Stumptner, and A. J. C. van Gemund. Prioritizing model-based debugging diagnostic reports. In Proc. DX'08, 2008.
11. W. Mayer and M. Stumptner. Evaluating models for model-based debugging. In ASE'08. ACM Press, 2008.
12. M. Musuvathi and D. R. Engler. Some lessons from using static analysis and software model checking for bug finding. ENTCS, 89(3), 2003.
13. R. Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
14. M. Renieris and S. P. Reiss. Fault localization with nearest neighbor queries. In ASE'03. ACM Press, 2003.
15. RTI. Planning report 02-3: The economic impacts of inadequate infrastructure for software testing. Planning Report 02-3, NIST, 2002.
16. E. Wong, T. Wei, Y. Qi, and L. Zhao. A crosstab-based statistical method for effective fault localization. In Proc. ICST'08. IEEE CS, 2008.
17. C. Yilmaz, A. Paradkar, and C. Williams. Time will tell: Fault localization using time spectra. In Proc. ICSE '08. ACM Press, 2008.
18. C. Yilmaz and C. Williams. An automated model-based debugging approach. In ASE'07. ACM Press, 2007.
19. P. Zoeteweij, R. Abreu, R. Golsteijn, and A. J. C. van Gemund. Diagnosis of embedded software using program spectra. In Proc. ECBS'07. IEEE CS, 2007.