Automatic software fault localization using generic program invariants

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2008, Pages 712-717

  Abreu, Rui ^a   González, Alberto ^a,b   Zoeteweij, Peter ^a   Van Gemund, Arjan J C ^a  

^a DELFT UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UNIVERSITY OF VALLADOLID   (Spain)

Author keywords

Black box diagnosis; Error detection; Fault localization; Program invariants; Program spectra

Indexed keywords

ERROR DETECTION; FAULT DETECTION; SOFTWARE TESTING;

BLACK BOX DIAGNOSIS; DIAGNOSTIC PERFORMANCES; ERROR DETECTORS; EXECUTION TIMES; EXTENSIVE TESTING; FAULT LOCALIZATION; GENERIC NATURES; PERFORMANCE PENALTIES; PROGRAM INVARIANTS; PROGRAM POINTS; PROGRAM SPECTRA; RESIDUAL DEFECTS; SIEMENS; SOFTWARE FAULT LOCALIZATIONS; TEST CASES;

PROGRAM DIAGNOSTICS;

EID: 56749179999     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1363686.1363855     Document Type: Conference Paper

References (24)

1. R. Abreu, P. Zoeteweij, and A. J. C. van Gemund. An evaluation of similarity coefficients for software fault localization. In Proc. PRDC '06, pages 39-46, 2006.
2. R. Abreu, P. Zoeteweij, and A. J. C. van Gemund. On the accuracy of spectrum-based fault localization. In Proc. TAIC PART'07, Sep 2007.
3. A. Avižienis, J.-C. Laprie, B. Randell, and C. E. Landwehr. Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Sec. Comput., 1(1):11-33, 2004.
4. M. Y. Chen, E. Kiciman, E. Fratkin, A. Fox, and E. Brewer. Pinpoint: Problem determination in large, dynamic internet services. In Proc. of DSN'02, pages 595-604. IEEE CS, 2002.
5. H. Cleve and A. Zeller. Locating causes of program failures. In Proc. ICSE'05, Missouri, USA, 2005.
6. A. da Silva Meyer, A. A. Franco Farcia, and A. Pereira de Souza. Comparison of similarity coefficients used for cluster analysis with dominant markers in maize (Zea mays L). Genetics and Molecular Biology, 27(1):83-91, 2004.
7. V. Dallmeier, C. Lindig, and A. Zeller. Lightweight defect localization for Java. In A. P. Black, editor, Proc. ECOOP 2005, volume 3586 of LNCS, pages 528-550. Springer-Verlag, 2005.
8. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. In Proc. ICSE'99, pages 213-224, 1999.
9. M. D. Ernst, J. H. Perkins, P. J. Guo, S. McCamant, C. Pacheco, M. S. Tschantz, , and C. Xiao. The daikon system for dynamic detection of likely invariants. In Science of Computer Programming, 2007.
10. A. González. Automatic error detection techniques based on dynamic invariants, Aug. 2007. Master's thesis.
11. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In Proc. ICSE'02, May 2002.
12. M. J. Harrold, G. Rothermel, R. Wu, and L. Yi. An empirical investigation of program spectra. ACM SIGPLAN Notices, 33(7):83-90, 1998.
13. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proc. ICSE'94, pages 191-200, Los Alamitos, CA, USA, 1994. IEEE CS Press.
14. A. K. Jain and R. C. Dubes. Algorithms for clustering data. Prentice-Hall, Inc., 1988.
15. J. A. Jones and M. J. Harrold. Empirical evaluation of the tarantula automatic fault-localization technique. In Proc. ASE'05, pages 273-282, NY, USA, 2005.
16. J. O. Kephart and D. M. Chess. The vision of autonomic computing. Computer, 36(1):41-50, January 2003.
17. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Proc. CGO'04, Palo Alto, California, Mar 2004.
18. C. Liu, L. Fei, X. Yan, J. Han, and S. P. Midkiff. Statistical debugging: A hypothesis testing-based approach. IEEE Transactions on Software Engineering, 32(10):831-848, 2006.
19. T. Menzies, D. Owen, and J. Richardson. The strangest thing about software. Computer, 40(1):54-60, January 2007.
20. D. Patterson, A. Brown, P. Broadwell, G. Candea, M. Chen, J. Cutler, P. Enriquez, A. Fox, E. Kiciman, M. Merzbacher, D. Oppenheimer, N. Sastry, W. Tetzlaff, J. Traupman, and N. Treuhaft. Recovery Oriented Computing (ROC): Motivation, definition, techniques, and case studies. Technical Report UCB/CSD-02-1175, U.C. Berkeley, March 2002.
21. B. Pytlik, M. Renieris, S. Krishnamurthi, and S. Reiss. Automated fault localization using potential invariants. In Proc. AADEBUG'03, 2003.
22. P. Racunas, K. Constantinides, S. Manne, and S. Mukherjee. Perturbation-based fault screening. In Proc. HPCA '2007, pages 169-180, Feb. 2007.
23. M. Renieris and S. P. Reiss. Fault localization with nearest neighbor queries. In Proc. ASE'03, Montreal, Canada, October 2003. IEEE CS.
24. X. Zhang, H. He, N. Gupta, and R. Gupta. Experimental evaluation of using dynamic slices for fault location. In Proc. AADEBUG'05, pages 33-42, Monterey, California, USA, 2005. ACM Press.