Mining API error-handling specifications from source code

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5503, Issue , 2009, Pages 370-384

  Acharya, Mithun ^a   Xie, Tao ^a  

^a North Carolina State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED MINING; CLIENT CODE; DATA MINING TECHNIQUES; ERROR-HANDLING; EXCEPTION HANDLING; MANUAL INSPECTION; OPEN SOURCE PACKAGE; PROCEDURAL LANGUAGES; RUNTIME; SOURCE CODES; SPECIFICATION MINING; TRACE GENERATION; USER INPUT; AUTOMATED SPECIFICATION MININGS; ERROR HANDLING CODES; EXCEPTION HANDLING MECHANISM;

COMPUTER SOFTWARE; DATA MINING; MINES; MINING; APPLICATION PROGRAMMING INTERFACES (API); CODES (SYMBOLS); ERRORS; OPEN SOURCE SOFTWARE; SOFTWARE ENGINEERING; SPECIFICATIONS;

SPECIFICATIONS; C (PROGRAMMING LANGUAGE);

EID: 67650126144     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00593-0_25     Document Type: Conference Paper

References (18)

1. IEEE Computer Society. IEEE Standard for Information Technology - Portable Operating System Interface POSIX - Part I: System Application Program Interface API, IEEE Std 1003.1b-1993 (1994)
2. Acharya, M., Xie, T., Pei, J., Xu, J.: Mining API patterns as partial orders from source code: From usage scenarios to specifications. In: Proc. ESEC/FSE, pp. 25-34 (2007)
3. Ammons, G., Bodik, R., Larus, J.: Mining specifications. In: Proc. POPL, pp. 4-16 (2002) (Pubitemid 35009026)
4. Bruntink, M., Deursen, A.V., Tourwe, T.: Discovering faults in idiom-based exception handling. In: Proc. ICSE, pp. 242-251 (2006) (Pubitemid 46600921)
5. Chang, R.Y., Podgurski, A.: Finding what's not there: A new approach to revealing neglected conditions in software. In: Proc. ISSTA, pp. 163-173 (2007) (Pubitemid 47317590)
6. Chen, H., Wagner, D.:MOPS: an infrastructure for examining security properties of software. In: Proc. CCS, pp. 235-244 (2002)
7. Cristian, F.: Exception Handling and Tolerance of Software Faults. In Software Fault Tolerance, ch. 5. John Wiley and Sons, Chichester (1995)
8. Engler, D., Chen, D.Y., Hallem, S., Chou, A., Chelf, B.: Bugs as deviant behavior: A general approach to inferring errors in systems code. In: Proc. SOSP, pp. 57-72 (2001) (Pubitemid 33612605)
9. Gehani, N.H.: Exceptional C for C with exceptions. Software Practices and Experiences 22(10), 827-848 (1992)
10. Gunawi, H., Rubio-Gonzalez, C., Arpaci-Dusseau, A., Arpaci-Dusseau, R., Liblit, B.: EIO: Error handling is occasionally correct. In: Proc. USENIX FAST, pp. 242-251 (2006)
11. Li, Z., Zhou, Y.: PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code. In: Proc. ESEC/FSE, pp. 306-315 (2005) (Pubitemid 43218841)
12. Ramanathan, M.K., Grama, A., Jagannathan, S.: Static specification inference using predicate mining. In: Proc. PLDI, pp. 123-134 (2007) (Pubitemid 47630681)
13. Rosenthal, D.: Inter-client communication Conventions Manual (ICCCM), Version 2.0. X Consortium, Inc. (1994)
14. Toy, W.: Fault-tolerant design of local ESS processors. In: The Theory and Practice of Reliable System Design. Digital Press (1982)
15. Wang, J., Han, J.: BIDE: Efficient mining of frequent closed sequences. In: Proc. ICDE, pp. 79-90 (2004)
16. Weimer, W., Necula, G.C.: Finding and preventing run-time error handling mistakes. In: Proc. OOPSLA, pp. 419-431 (2004)
17. Weimer, W., Necula, G.C.: Mining temporal specifications for error detection. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, Vol. 3440, pp. 461-476. Springer, Heidelberg (2005) (Pubitemid 41273759)
18. Yang, J., Evans, D., Bhardwaj, D., Bhat, T., Das, M.: Perracotta: Mining temporal API rules from imperfect traces. In: Proc. ICSE, pp. 282-291 (2006) (Pubitemid 46600925)