On the performance of fault screeners in software development and deployment

ENASE 2008 - Proceedings of the 3rd International Conference on Evaluation of Novel Approaches to Software Engineering

Volumn , Issue , 2008, Pages 123-130

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

^a Delft University of Technology   (Netherlands)

Author keywords

Analytic model; Error detection; Fault localization; Program invariants; Program spectra

Indexed keywords

BLOOMS (METAL); ERROR DETECTION; FAULT DETECTION; SOFTWARE ENGINEERING; TURBULENT FLOW; WAVE FILTERS;

ANALYTIC MODEL; ANALYTIC MODELS; AUTOMATIC FEEDBACKS; BLOOM FILTERS; EMPIRICAL FINDINGS; FALSE NEGATIVE RATES; FALSE POSITIVE RATES; FALSE POSITIVES; FAULT LOCALIZATION; FAULT LOCALIZATIONS; FAULT SCREENERS; INVARIANT CHECKING; LOWER AND UPPER BOUNDS; PROGRAM EXECUTIONS; PROGRAM INVARIANTS; PROGRAM SPECTRA; RESIDUAL PROGRAMS; SOFTWARE DEVELOPMENTS; TESTING PHASE; UNIT TRAININGS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 55849090950     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (27)

1. Abreu, R., González, A., Zoeteweij, P., and van Gemund, A. (2008). Automatic software fault localization using generic program invariants. In Proc. SAC'08, For-taleza, Brazil. ACM Press, accepted for publication.
2. Abreu, R., Zoeteweij, P., and van Gemund, A. (2006). An evaluation of similarity coefficients for software fault localization. In Proceedings of PRDC'06.
3. Abreu, R., Zoeteweij, P., and van Gemund, A. (2007). On the accuracy of spectrum-based fault localization. In Proc. TAICPART'07.
4. Bloom, B. (1970). Space/time trade-offs in hash coding with allowable errors. Commun. ACM, 13(7):422-426.
5. Cleve, H. and Zeller, A. (2005). Locating causes of program failures. In Proc. ICSE'05, Missouri, USA.
6. Dallmeier, V., Lindig, C., and Zeller, A. (2005). Lightweight defect localization for Java. In Black, A. P., editor, Proc. ECOOP 2005, volume 3586 of LNCS, pages 528-550. Springer-Verlag.
7. David, H. A. (1970). Order Statistics. John Wiley & Sons.
8. Ernst, M., Cockrell, J., Griswold, W., and Notkin, D. (1999). Dynamically discovering likely program invariants to support program evolution. In Proc. ICSE'99, pages 213-224.
9. Ernst, M., Perkins, J., Guo, P., McCamant, S., Pacheco, C., Tschantz, M., and Xiao, C. (2007). The Daikon system for dynamic detection of likely invariants. In Science of Computer Programming.
10. Gautama, H. and van Gemund, A. (2006). Low-cost static performance prediction of parallel stochastic task compositions. IEEE Trans. ParallelDistrib. Syst., 17(1):78-91.
11. González, A. (2007). Automatic error detection techniques based on dynamic invariants. Master's thesis.
12. Gumbel, E. (1962). Statistical theory of extreme values (main results). In Sarhan, A. and Greenberg, B., editors, Contributions to Order Statistics, pages 56-93. John Wiley & Sons.
13. Hangal, S., Chandra, N., Narayanan, S., and Chakravorty, S. (2005). IODINE: A tool to automatically infer dynamic invariants for hardware designs. In DAC'05, San Diego, California, USA.
14. Hangal, S. and Lam, M. (2002). Tracking down software bugs using automatic anomaly detection. In Proc. ICSE'02.
15. Harrold, M., Rothermel, G., Wu, R., and Yi, L. (1998). An empirical investigation of program spectra. ACMSIG-PLAN Notices, 33(7):83-90.
16. Hutchins, M., Foster, H., Goradia, T., and Ostrand, T. (1994). Experiments of the effectiveness of dataflow-and controlflow-based test adequacy criteria. In Proc. ICSE'94, Sorrento, Italy. IEEE CS.
17. Jain, A. and Dubes, R. (1988). Algorithms for clustering data. Prentice-Hall, Inc.
18. Jones, J. and Harrold, M. (2005). Empirical evaluation of the tarantula automatic fault-localization technique. In Proc. ASE'05, pages 273-282, NY, USA.
19. Kephart, J. and Chess, D. (2003). The vision of autonomic computing. Computer, 36(1):41-50.
20. Lattner, C. and Adve, V. (2004). LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Proc. CGO '04, Palo Alto, California.
21. Liu, C., Fei, L., Yan, X., Han, J., and Midkiff, S. (2006). Statistical debugging: A hypothesis testing-based approach. IEEE TSE, 32(10):831-848.
22. Patterson, D., Brown, A., Broadwell, P., Candea, G., Chen, M., Cutler, J., Enriquez, P., Fox, A., Kiciman, E., Merzbacher, M., Oppenheimer, D., Sastry, N., Tet-zlaff, W, Traupman, J., and Treuhaft, N. (2002). Recovery Oriented Computing (ROC): Motivation, definition, techniques, and case studies. Technical Report UCB/CSD-02-1175, U.C. Berkeley.
23. Pytlik, B., Renieris, M., Krishnamurthi, S., and Reiss, S. (2003). Automated fault localization using potential invariants. In Proc. AADEBUG'03.
24. Racunas, P., Constantinides, K., Marine, S., and Mukherjee, S. (2007). Perturbation-based fault screening. In Proc. HPCA' 2007, pages 169-180.
25. Renieris, M. and Reiss, S. (2003). Fault localization with nearest neighbor queries. In Proc. ASE'03, Montreal, Canada. IEEE CS.
26. Yang, J. and Evans, D. (2004). Automatically inferring temporal properties for program evolution. In Proc. ISSRE'04, pages 340-351, Washington, DC, USA. IEEE CS.
27. Zhang, X., He, H., Gupta, N., and Gupta, R. (2005). Experimental evaluation of using dynamic slices for fault location. In Proc. AADEBUG '05, pages 33-42, Monterey, California, USA. ACM Press.