Mining control flow abnormality for logic error isolation

Proceedings of the Sixth SIAM International Conference on Data Mining

Volumn 2006, Issue , 2006, Pages 106-117

  Liu, Chao ^a   Yan, Xifeng ^a   Han, Jiawei ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA MINING; FORMAL LOGIC; SEMANTICS; TRACE ANALYSIS;

LOGIC ERROR ISOLATION; MINING CONTROL; PROGRAM LOGIC ERRORS; SOFTWARE ERRORS;

ERROR ANALYSIS;

EID: 33745473938     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1137/1.9781611972764.10     Document Type: Conference Paper

References (28)

1. C. C. Aggarwal and P. S. Yu. Outlier detection for high dimensional data. In Proc. of the 2001 ACM SIGMOD Int. Conf. on Management of Data, pages 37-46, 2001.
2. G. Ammons, R. Bodik, and J. Larus. Mining specifications. In Proc. of the 29th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 4-16, 2002.
3. A. Arning, R. Agrawal, and P. Raghavan. A linear method for deviation detection in large databases. In Proc. of the 10th ACM SIGKDD Int. Conf., on Knowledge Discovery and Data Mining, 1995.
4. B. Beizer, Software Testing Techniques. International Thomson Computer Press, second edition, 1990.
5. J. F. Bowring, J. M. Rehg, and M. J. Harrold. Active learning for automatic classification of software behavior. In Proc. of the 2004 Int. Symp. on Software testing and analysis, pages 195-205, 2004.
6. Y. Brun and M. Ernst. Finding latent code errors via machine learning over program executions. In Proc. of the 26th Int. Conf. on Software Engineering, pages 480-490, 2004.
7. W. Dickinson, D. Leon, and A. Podgurski. Finding failures by cluster analysis of execution profiles. In Proc. of the 23rd Int. Conf. on Software Engineering, pages 339-348, 2001.
8. European Space Agency. Arianne-5 flight 501 inquiry board report. In http://ravel.esrin.esa.it/docs/esa-x-1819 eng.pdf.
9. P. Frankl and O. Iakounenko. Further empirical studies of test effectiveness. In Proc. of the 6th ACM Int. Symp. on Foundations of Software Engineering, pages 153-162, 1998.
10. M. Harrold, G. Rothermel, R. Wu, and L. Yi. An empirical investigation of program spectra. In Proc. of the ACM SIGPLAN-SIGSOFT workshop on Program Analysis for Software Tools and Engineering, pages 83-90, 1998.
11. G. J. Holzmann. Economics of software verification. In Proc. of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pages 80-89, 2001.
12. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments of the effectiveness of dataflow-and controlfiow-based test adequacy criteria. In Proc. of the 16th Int. Conf. on Software Engineering, pages 191-200, 1994.
13. C. Kaner, J. Falk, and H. Q. Nguyen. Testing Computer Software. Wiley, second edition, 1999.
14. E. M. Knorr, R. T. Ng, and V. Tucakov. Distance-based outliers: algorithms and applications. The VLDB Journal, 8(3-4):237-253, 2000.
15. E. Lehmann. Testing Statistical Hypotheses. Springer, second edition, 1997.
16. N. Leveson and C. Turner. An investigation of the Therac-25 accidents. Computer, 26(7):18-41, 1993.
17. Z. Li, Z. Chen, and Y. Zhou. Mining block correlations to improve storage performance. Trans. Storage, 1(2):213-245, 2005.
18. Z. Li, S. Lu, S. Myagmar, and Y. Zhou. CP-Miner. A tool for finding copy-paste and related bugs in operating system code. In Proceedings of the Sixth Symposium on Operating System Design and Implementation, pages 289-302, 2004.
19. Z. Li and Y. Zhou. PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code. In 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Sept 2005.
20. C. Liu, X. Yan, L. Fei, J. Han, and S. P. Midkiff. Sober: statistical model-based bug localization. In Proc. of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering (ESEC/FSE'05), pages 286-295, 2005.
21. C. Liu, X. Yan, H. Yu, J. Han, and P. S. Yu. Mining behavior graphs for "backtrace" of noncrashing bugs. In In Proc. 2005 SIAM Int. Conf., on Data Mining (SDM'05), 2005.
22. B. Livshits and T. Zimmermann. DynaMine: Finding common error patterns by mining software revision histories. In 13th ACM SIGSOFT Symp. on the Foundations of Software Engineering, Sept 2005.
23. A. Podgurski, D. Leon, P. Francis, W. Masri, M. Minch, J. Sun, and B. Wang. Automated support for classifying software failure reports, In Proc. of the 25th Int. Conf. on Software Engineering, pages 465-475, 2003.
24. S. Ramaswamy, R. Rastogi, and K. Shim. Efficient algorithms for mining outliers from large data sets. In Proc. of the 2000 ACM SIGMOD Int. Conf. on Management of Data, pages 427-438, 2000.
25. G. Rothermel and M. J. Harrold. Empirical studies of a safe regression test selection technique. IEEE Trans. on Software Engineering, 24(6):401-419, 1998.
26. W. Visser, K. Havelund, G. Brat, and S. Park. Model checking programs. In Proc. of the 15th IEEE Int. Conf. on Automated Software Engineering, 2000.
27. X. Yan, J. Han, and R. Afshar. CloSpan: Mining closed sequential patterns in large databases. In Proc. of the Third SIAM Int. Conf. on Data Mining, 2003.
28. A. Zeller. Isolating cause-effect chains from computer programs. In Proc. of ACM 10th Int. Symp. on the Foundations of Software Engineering, 2002.