Mining API patterns as partial orders from source code: From usage scenarios to specifications

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007

Volumn , Issue , 2007, Pages 25-34

  Acharya, Mithun ^a   Xie, Tao ^a   Pei, Jian ^b   Xu, Jun ^a,c  

^a North Carolina State University   (United States)

^b SIMON FRASER UNIVERSITY   (Canada)

^c GOOGLE INC   (United States)

Author keywords

API patterns; Mining; Partial orders; Specification; Usage scenarios

Indexed keywords

COMPUTER SOFTWARE; DIGITAL LIBRARIES; SPECIFICATIONS; USER INTERFACES; ASSOCIATIVE PROCESSING; CODES (SYMBOLS); MINERS; MODEL CHECKING;

API PATTERNS; PARTIAL ORDERS; USAGE SCENARIOS; CLIENT CODES; EXTRACTION ALGORITHMS; ITEM SETS; MODEL CHECKERS; ROBUST OPERATIONS; SOFTWARE SYSTEMS; SOURCE CODES; SPECIFICAITON; SYSTEM USING; USAGE PATTERNS;

DATA MINING; SOFTWARE ENGINEERING;

EID: 37849002654     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1287624.1287630     Document Type: Conference Paper

References (27)

1. M. Acharya, T. Xie, and J. Xu. Mining interface specifications for generating checkable robustness properties. In Proc. International Symposium on Software Reliability Engineering (ISSRE), pages 311-320, 2006.
2. R. Agrawal and R. Srikant. Fast algorithms for mining association rules in large databases. In Proc. International Conference on Very Large Data Bases (VLDB), pages 487-499, 1994.
3. R. Alur, P. Cerny, P. Madhusudan, and W. Nam. Synthesis of interface specifications for Java classes. In Proc. Symposium on Principles of Programming Languages (POPL), pages 98-109, 2005.
4. G. Ammons, R. Bodik, and J. Larus. Mining specifications. In Proc. Symposium on Principles of Programming Languages (POPL), pages 4-16, 2002.
5. G. Ammons, D. Mandein, R. Bodik, and J. Larus. Debugging temporal specifications with concept analysis. In Proc. Conference on Programming Language Design and Implementation (PLDI), pages 182-195, 2003.
6. H. Chen. Lightweight Model Checking for Improving Software Security. PhD thesis, University of California, Berkeley, 2004.
7. H. Chen and D. Wagner. MOPS: an infrastructure for examining security properties of software. In Proc. ACM Conference on Computer and Communications Security (CCS), pages 235-244, 2002.
8. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proc. ACM Symposium on Operating Systems Principles (SOSP), pages 57-72, 2001.
9. J. Esparza, D. Hansel, P. Rossmanith, and S. Schwoon. Efficient algorithms for model checking push down systems. In Proc. International Conference on Computer Aided Verification (CAV), pages 232-247, 2000.
10. G. Grahne and J. Zhu. Efficiently using prefix-trees in mining frequent itemsets. In Proc. IEEE ICDM Workshop on Frequent Itemset Mining Implementations, 2003.
11. T. Henzinger, R. Jhala, R. Majumdar, and G. Sutre. Software verification with BLAST. In Proc. Workshop on Model Checking Software, pages 235-239, 2003.
12. T. A. Henzinger, R. Jhala, and R. Majumdar. Permissive interfaces. In Proc. European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 31-40, 2005.
13. J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley, 1979.
14. T. Kremenek, P. Twohey, G. Back, D. Engler, and A. Ng. From uncertainty to belief: Inferring the specification within. In Proc. Symposium on Operating Systems Design and Implementation (OSDI), pages 161-176, 2006.
15. Z. Li and Y. Zhou. PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code. In Proc. European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 306-315, 2005.
16. C. Liu, E. Ye, and D. J. Richardson. Software library usage pattern extraction using a software model checker. In Proc. IEEE/ACM International Conference on Automated Software Engineering (ASE), pages 301-304, 2006.
17. B. Livshits and T. Zimmermann. DynaMine: finding common error patterns by mining software revision histories. In Proc. European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), pages 296-305, 2005.
18. A. Michail. Data mining library reuse patterns using generalized association rules. In Proc. International Conference on Software Engineering (ICSE), pages 167-176, 2000.
19. J. Pei, H. Wang, J. Liu, K. Wang, J. Wang, and P. Yu. Discovering frequent closed partial orders from strings. IEEE Transactions on Knowledge and Data Engineering, 18(11):1467-1481, 2006.
20. A. V. Raman and J. D. Patrick. The sk-strings method for inferring PFSA. In Proc. Workshop on Automata Induction, Grammatical Inference and Language Acquisition, 1997.
21. D. Rosenthal. Inter-client communication Conventions Manual (ICCCM), Version 2.0. X Consortium, Inc. 1994.
22. J. Wang and J. Han. BIDE: Efficient mining of frequent closed sequences. In Proc. International Conference on Data Engineering (ICDE), pages 79-90, 2004.
23. W. Weimer and G. C. Necula. Mining temporal specifications for error detection. In Proc. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 461-476, 2005.
24. J. Whaley, M. C. Martin, and M. S. Lam. Automatic extraction of object-oriented component interfaces. In Proc. International Symposium on Software Testing and Analysis (ISSTA), pages 218-228, 2002.
25. C. C. Williams and J. K. Hollingsworth. Automatic mining of source code repositories to improve bug finding techniques. IEEE Trans. Softw. Eng., 31(6):466-480, 2005.
26. T. Xie and J. Pei. MAPO: Mining API usages from open source repositories. In Proc. International Workshop on Mining Software Repositories (MSR), pages 54-57, 2006.
27. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: Mining temporal API rules from imperfect traces. In Proc. International Conference on Software Engineering (ICSE), pages 282-291, 2006.