Finding latent code errors via machine learning over program executions

Proceedings - International Conference on Software Engineering

Volumn 26, Issue , 2004, Pages 480-490

  Brun, Yuriy ^a   Ernst, Michael D ^b  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); CODING ERRORS; COMPUTER SOFTWARE SELECTION AND EVALUATION; DECISION THEORY; FAULT TOLERANT COMPUTER SYSTEMS; JAVA PROGRAMMING LANGUAGE; LEARNING ALGORITHMS; NEURAL NETWORKS; PARAMETER ESTIMATION; PROGRAM COMPILERS; TREES (MATHEMATICS);

CODE ERRORS; DYNAMIC ANALYSIS; FAULT INVARIANT CLASSIFIERS (FVC); MACHINE LEARNING MODELS; SUPPORT VECTOR MACHINES (SVM);

LEARNING SYSTEMS;

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

References (26)

1. Y. Brun. Software fault identification via dynamic analysis and machine learning. Master's thesis, MIT Dept. of EECS, Aug. 16, 2003.
2. N. Christianini and J. Shawe-Taylor. An Introduction To Support Vector Machines (and other kernel-based learning methods). Cambridge University Press, 2000.
3. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In POPL, pages 238-252, 1977.
4. W. Dickinson, D. Leon, and A. Podgurski. Finding failures by cluster analysis of execution profiles. In ICSE, pages 339-348, May 2001.
5. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE TSE, 27(2):1-25, Feb. 2001.
6. M. D. Ernst, A. Czeisler, W. G. Griswold, and D. Notkin. Quickly detecting relevant program invariants. In ICSE, pages 449-458, June 2000.
7. Y. Freund and R. E. Schapire. Experiments with a new boosting algorithm. In ICML, pages 148-156, July 1996.
8. T. L. Graves, M. J. Harrold, J.-M. Kim, A. Porter, and G. Rothermel. An empirical study of regression test selection techniques. ACM TOSEM, 10(2):184-208, Apr. 2001.
9. A. Groce and W. Visser. What went wrong: Explaining counterexamples. In SPIN 2003, pages 121-135, May 2003.
10. S. Hangal and M. S. Lam. Tracking down software bugs using automatic anomaly detection. In ICSE, pages 291-301, May 2002.
11. M. Harder, J. Mellen, and M. D. Ernst. Improving test suites via operational abstraction. In ICSE, pages 60-71, May 2003.
12. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In ICSE, pages 191-200, May 1994.
13. T. Joachims. Making large-scale SVM learning practical. In B. Schölkopf, C. J. C. Burges, and A. Smola, editors, Advances in Kernel Methods - Support Vector Learning, chapter 11. MIT Press, Cambridge, MA, 1998.
14. Y. Kataoka, M. D. Ernst, W. G. Griswold, and D. Notkin. Automated support for program refactoring using invariants. In ICSM, pages 736-743, Nov. 2001.
15. A. Podgurski, D. Leon, P. Francis, W. Masri, M. Minch, J. Sun, and B. Wang. Automated support for classifying software failure reports. In ICSE, pages 465-475, May 2003.
16. F. Provost and P. Domingos. Tree induction for probability-based ranking. Machine Learning, 52(3):199-216, Sept. 2003.
17. J. R. Quinlan. C4.5: Programs for Machine Learning. Morgan Kaufmann, 1993.
18. J. R. Quinlan. Information on See5 and C5.0. http: // www.rulequest.com/See5-info.html, Aug. 2003.
19. R. M. Rifkin. Everything Old Is New Again: A Fresh Look at Historical Approaches in Machine Learning. PhD thesis, MIT Sloan School of Management, Sept. 2002.
20. G. Rothermel and M. J. Harrold. Empirical studies of a safe regression test selection technique. IEEE TSE, 24(6):401-419, June 1998.
21. D. Saff and M. D. Ernst. Reducing wasted development time via continuous testing. In ISSRE, pages 281-292, Nov. 2003.
22. G. Salton. Automatic Information Organization and Retrieval. McGraw-Hill, 1968.
23. C. J. van Rijsbergen. Information Retrieval. Butterworths, London, second edition, 1979.
24. F. I. Vokolos and P. G. Frankl. Empirical evaluation of the textual differencing regression testing technique. In ICSM, pages 44-53, Nov. 1998.
25. P. H. Winston. Artificial Intelligence. Addison-Wesley, third edition, 1992.
26. Y. Xie and D. Engler. Using redundancies to find errors. In FSE, pages 51-60, Nov. 2002.