PR-miner: Automatically extracting implicit programming rules and detecting violations in large software code

ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)

Volumn , Issue , 2005, Pages 306-315

  Li, Zhenmin ^a   Zhou, Yuanyuan ^a  

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

Author keywords

Automated specification generation; Automated violation detection; Data mining for software engineering; Pattern recognition; Programming rules; Static analysis

Indexed keywords

BINARY CODES; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DATA MINING; PATTERN RECOGNITION; PROGRAM DEBUGGING;

AUTOMATED SPECIFICATION GENERATION; AUTOMATED VIOLATION DETECTION; DATA MINING FOR SOFTWARE ENGINEERING; PROGRAMMING RULES; STATIC ANALYSIS;

COMPUTER AIDED SOFTWARE ENGINEERING;

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

References (31)

1. R. Agrawal and R. Srikant. Fast algorithms for mining association rules. In Proc. 20th Int. Conf. Very Large Data Bases, 1994.
2. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: principles, techniques, and tools, 1986.
3. G. Ammons, R. Bodík, and J. R. Larus. Mining specifications. In Proc. of the 29th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 4-16, 2002.
4. S. Bensalem, Y. Lakhnech, and H. Saidi. Powerful techniques for the automatic generation of invariants. In Proc. of the 8th Int. Conf. on Computer Aided Verification, 1996.
5. N. Bjømer, A. Browne, and Z. Manna. Automatic generation of invariants and intermediate assenions. Theoretical Computer Science, 173(1), 1997.
6. M. Caplain. Finding invariant assertions for proving programs. In Proc. of the Int. Conf. on Reliable software, 1975.
7. A. Chou, J. Yang, B. Chelf, S. Hallem, and D. R. Engler, An empirical study of operating system errors. In Proc. of the 18th ACM Symp. on Operating Systems Principles, 2001.
8. D. Engler. D. Y. Chen, and A. Chou, Bugs as inconsistent behavior: A general approach to inferring errors in systems code. In Proc. of the 18th ACM Symp. on Operating Systems Principles, 2001.
9. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Trans. Software Engineering, 27(2), 2001.
10. D. Evans, J. Guttag, J. Horning, and Y. M. Tan, LCLint: A tool for using specifications to check code. In Proc. of the ACM SIGSOFT '94 Symp. on the Foundations of Software Engineering, 1994.
11. C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC/Java. In Proc. of the Int. Symp. of Formal Methods Europe on Formal Methods for Increasing Software Productivity, 2001.
12. C. Flanagan, K. R. M. Leino, M. Lillibridge, G. Nelson, J. B. Saxe, and R. Stata. Extended static checking for Java. In Proc. of the ACM SIGPLAN 2002 Conf. on Programming Language Design and Implementation, 2002.
13. A. Garrido and R. Johnson. Refactoring C with conditional compilation. In 18th IEEE Int. Conf. on Automated Software Engineering, 2003.
14. G. Grahne and J. Zhu. Efficiently using prefix-trees in mining frequent itemsets. In Proc. of the 1st IEEE ICDM Workshop on Frequent Itemset Mining Implementations, 2003.
15. J. Hipp, U. Güntzer, and G. Nakhaeizadeh. Algorithms for association rule mining - a general survey and comparison. SIGKDD Explor, Newsl., 2(1), 2000.
16. J. James H. Morris and B. Wegbreit, Subgoal induction, Communications of the ACM, 20(4), 1977.
17. T. Kremenek, K. Ashcraft, J. Yang, and D. Engler. Correlation exploitation in error ranking. In Proc. of the 12th ACM SIGSOFT Symp. on the Foundations of Software Engineering, 2004.
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 Sixth Symp. on Operating Systems Design and Implementation, 2004.
19. J.W. Nimmer and M. D. Ernst. Automatic generation of program specifications. In Proc. of the 2002 Int. Symp. on Software Testing and Analysis, 2002.
20. J. W. Nimmer and M. D. Ernst. Invariant inference for static checking: An empirical evaluation. In Proc. of the ACM SIGSOFT 10th Int. Symp. on the Foundations of Software Engineering, 2002.
21. M. Ohira, R. Yokomoriz, M. Sakai, K. ichi Matsumotoy, K. Inouez, and K. Torii. Empirical project monitor: A tool for mining multiple project data. In Proc. of Int. Workshop on Mining Software Repositories, 2004.
22. T. J. Ostrand and E. J. Weyuker. A tool for mining defect-tracking systems to predict fault-prone files. In Proc. of Int. Workshop on Mining Software Repositories, 2004.
23. J. H. Perkins and M. D. Ernst. Efficient incremental algorithms for dynamic detection of likely invariants. In Proc. of the 12th ACM SIGSOFT Int. Symp. on Foundations of software engineering, 2004.
24. F. V. Rysselberghe and S. Demeyer. Mining version control systems for FACs (frequently applied changes). In Proc. of Int. Workshop on Mining Software Repositories, 2004.
25. R. M. Stallman and the GCC Developer Community, GNU compiler collection internals (GCC). available at http://gcc.gnu.org/onlinedocs/gccint.ps.gz, 2005.
26. M. Taghdiri. Inferring specifications to detect errors in code. In 19th IEEE Int. Conf. on Automated Software Engineering, 2004.
27. B. Wegbreit, The synthesis of loop predicates. Communications of the ACM, 17(2), 1974.
28. T. Xie and D. Notkin. Tool-assisted unit test selection based on operational violations. In 18th IEEE Int. Conf. on Automated Software Engineering. 2003.
29. A. T. Ying, G. C. Murphy, R. Ng, and M. C. Chu-Carroll. Predicting source code changes by mining revision history. In Proc. of Int. Workshop on Mining Software Repositories, 2004.
30. Y. Yusof and O. F. Rana. Template mining in source-code digital libraries. In Proc. of Int. Workshop on Mining Software Repositories, 2004.
31. T. Zimmermann, P. Weisgerber, S. Diehl, and A. Zeller. Mining version histories to guide software changes. In Proc. of the 26th Int. Conf. on Software Engineering, 2004.