Spectrum-based multiple fault localization

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 88-99

  Abreu, Rui ^a   Zoeteweij, Peter ^a   Van Gemund, Arjan J C ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Program spectra; Software fault diagnosis; Statistical and reasoning approaches

Indexed keywords

BAYESIAN REASONING; BEHAVIORAL MODEL; COMPONENT MODEL; FAULT DIAGNOSIS; FAULT LOCALIZATION; FORMAL PROOFS; LARGE PROGRAMS; LOGIC REASONING; MODEL BASED DIAGNOSIS; MULTIPLE FAULTS; PROGRAM SPECTRA; REAL SOFTWARES; REASONING APPROACH; SINGLE FAULT; SOFTWARE FAULT DIAGNOSIS;

ABSTRACTING; BELT DRIVES; COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; FAILURE ANALYSIS;

PROGRAM DIAGNOSTICS;

EID: 77952171249     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.25     Document Type: Conference Paper

References (40)

1. R. Abreu, W. Mayer, M. Stumptner, and A. J. C. van Gemund. Refining spectrum-based fault localization rankings. In Proceedings of the Annual Symposium on Applied Computing (SAC'09).
2. R. Abreu and A. J. C. van Gemund. A low-cost approximate minimal hitting set algorithm and its application to modelbased diagnosis. In Proceedings of Symposium on Abstraction, Reformulation, and Approximation (SARA'09).
3. R. Abreu, P. Zoeteweij, and A. J. C. van Gemund. An observation-based model for fault localization. In Proceedings of Workshop on Dynamic Analysis (WODA'08).
4. R. Abreu, P. Zoeteweij, and A. J. C. van Gemund. On the accuracy of spectrum-based fault localization. In Proceedings of The Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'07).
5. M. Avriel. Nonlinear Programming: Analysis and Methods. 2003.
6. G. K. Baah, A. Podgurski, and M. J. Harrold. The probabilistic program dependence graph and its application to fault diagnosis. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA'08).
7. T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein. Introduction to Algorithms. 2nd edition.
8. J. de Kleer. Diagnosing intermittent faults. In Proceedings of International Workshop on Principles of Diagnosis (DX'07), May.
9. J. de Kleer and B. C. Williams. Diagnosing multiple faults. Artif. Intell., 32(1):97-130, 1987.
10. H. Do, S. G. Elbaum, and G. Rothermel. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Software Engineering: An International Journal, 10(4):405-435, 2005.
11. A. Feldman, G. Provan, and A. J. C. van Gemund. Computing minimal diagnoses by greedy stochastic search. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI'08).
12. A. Feldman and A. J. C. van Gemund. A two-step hierarchical algorithm for model-based diagnosis. In Proceedings of AAAI Conference on Artificial Intelligence (AAAI'06).
13. A. Groce. Error explanation with distance metrics. In Proceedings of International Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04).
14. N. Gupta, H. He, X. Zhang, and R. Gupta. Locating faulty code using failure-inducing chops. In Proceedings of International Conference on Automated Software Engineering (ASE'05).
15. M. J. Harrold, G. Rothermel, R. Wu, and L. Yi. An empirical investigation of program spectra. In Proceedings of International Workshop on Program Analysis for Software Tools and Engineering (PASTE'98).
16. T. Janssen, R. Abreu, and A. J. C. van Gemund. ZOLTAR: A toolset for automatic fault localization. In Proceedings of the International Conference on Automated Software Engineering (ASE'09) - Tool Demonstrations.
17. D. Jeffrey, N. Gupta, and R. Gupta. Fault localization using value replacement. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA'08).
18. J. A. Jones. Personal communication, April 2009.
19. J. A. Jones, J. F. Bowring, and M. J. Harrold. Debugging in parallel. In Proceedings of International Symposium on Software Testing and Analysis (ISSTA'07).
20. J. A. Jones, M. J. Harrold, and J. Stasko. Visualization of test information to assist fault localization. In Proceedings of International Conference on Software Engineering (ICSE'02).
21. C. Lattner and V. S. Adve. LLVM: A compilation framework for lifelong program analysis & transformation. In Proceedings of the 2nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO'04).
22. B. Liblit, M. Naik, A. X. Zheng, A. Aiken, and M. I. Jordan. Scalable statistical bug isolation. In Proceedings of Conference on Programming Language Design and Implementation (PLDI'05).
23. C. Liu and J. Han. Failure proximity: A fault localizationbased approach. In Proceedings of Symposium on the Foundations of Software Engineering (FSE'06).
24. C. Liu, X. Yan, L. Fei, J. Han, and S. P. Midkiff. Sober: Statistical model-based bug localization. In Proceedings of European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE-13).
25. W. Mayer and M. Stumptner. Abstract interpretation of programs for model-based debugging. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI' 07).
26. W. Mayer and M. Stumptner. Evaluating models for modelbased debugging. In Proceedings of International Conference on Automated Software Engineering (ASE'08).
27. G. Misherghi and Z. Su. HDD: Hierarchical delta debugging. In Proceedings of International Conference on Software Engineering (ICSE'06).
28. J. Pietersma and A. J. C. van Gemund. Temporal versus spatial observability tradeoffs in model-based diagnosis. In Proceedings of International Conference on Systems, Man, and Cybernetics (SMC'06).
29. M. Renieris and S. P. Reiss. Fault localization with nearest neighbor queries. In Proceedings of International Conference on Automated Software Engineering (ASE'03).
30. R. Santelices, J. A. Jones, Y. Yu, and M. J. Harrold. Lightweight fault-localization using multiple coverage types. In Proceedings of International Conference on Software Engineering (ICSE'09).
31. F. Steimann and M. Bertchler. A simple coverage-based locator for multiple faults. In Proceedings of International Conference on Software Testing and Verification (ICST'09).
32. R. Vayani. Improving automatic software fault localization, Delft University of Technology, July 2007. Master's thesis.
33. X. Wang, S. Cheung, W. Chan, and Z. Zhang. Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization. In Proceedings of International Conference on Software Engineering (ICSE'09).
34. W. Wong, T. Wei, Y. Qi, and L. Zhao. A crosstab-based statistical method for effective fault localization. In Proceedings of International Conference on Software Testing and Verification (ICST'08).
35. F. Wotawa, M. Stumptner, and W. Mayer. Model-based debugging or how to diagnose programs automatically. In Proceedings of International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE'02).
36. C. Yilmaz and C. Williams. An automated model-based debugging approach. In Proceedings of International Conference on Automated Software Engineering (ASE'07).
37. A. Zeller. Isolating cause-effect chains from computer programs. In Proceedings of Symposium on the Foundations of Software Engineering (FSE'02).
38. X. Zhang, H. He, N. Gupta, and R. Gupta. Experimental evaluation of using dynamic slices for fault location. In Proceedings of International Workshop on Automated and Analysis-Driven Debugging (AADEBUG'05).
39. A. X. Zheng, M. I. Jordan, B. Liblit, M. Naik, and A. Aiken. Statistical debugging: Simultaneous identification of multiple bugs. In Proceedings of International Conference on Machine Learning (ICML'06).
40. P. Zoeteweij, R. Abreu, R. Golsteijn, and A. J. C. van Gemund. Diagnosis of embedded software using program spectra. In Proceedings of International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'07).