Inferring specifications of object oriented APIs from API source code

Proceedings - Asia-Pacific Software Engineering Conference, APSEC

Volumn , Issue , 2008, Pages 221-228

  Zhong, Hao ^a   Zhang, Lu ^a   Mei, Hong ^a  

^a Peking University   (China)

Author keywords

[No Author keywords available]

Indexed keywords

MEMORY USAGE; OBJECT ORIENTED; OBJECT-ORIENTED PROGRAM; OPEN SOURCES; SOFTWARE INDUSTRY; SOURCE CODES;

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER SOFTWARE REUSABILITY; NETWORK PROTOCOLS; SOFTWARE ENGINEERING; SPECIFICATIONS;

LIBRARIES;

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

References (20)

1. M. Acharya, T. Xie, J. Pei, and J. Xu. Mining API patterns as partial orders from source code: From usage scenarios to specifications. In Proc. ESEC/FSE, pages 25-34, 2007.
2. M. Acharya, T. Xie, and J. Xu. Mining interface specifications for generating checkable robustness properties. In Proc. ISSRE, pages 311-320, November 2006. (Pubitemid 47213968)
3. R. Alur, P. Ĉernỳ, P. Madhusudan, and W. Nam. Synthesis of interface specifications for Java classes. In Proc. 32nd POPL, pages 98-109, 2005. (Pubitemid 40493970)
4. G. Ammons, R. Bodik, and J. R. Larus. Mining specifications. In Proc. POPL, pages 4-16, 2002. (Pubitemid 35009026)
5. D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 75(2):87-106, 1987. (Pubitemid 18535066)
6. M. Antkiewicz, T. Bartolomei, and K. Czarnecki. Automatic extraction of framework-specific models from frameworkbased application code. In Proc. 22nd ASE, pages 214-223, 2007.
7. 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. SOSP, pages 57-72, 2001. (Pubitemid 33612605)
8. T. Henzinger, R. Jhala, and R. Majumdar. Permissive interfaces. Proc. FSE, pages 31-40, 2005. (Pubitemid 43218807)
9. Z. Li and Y. Zhou. PR-Miner: Automatically extracting implicit programming rules and detecting violations in large software code. In Proc. FSE, pages 306-315, 2005. (Pubitemid 43218841)
10. D. Lo and S. Khoo. SMArTIC: towards building an accurate, robust and scalable specification miner. Proc. FSE, pages 265-275, 2006. (Pubitemid 47129403)
11. D. Mandelin, L. Xu, R. Bodik, and D. Kimelman. Jungloid mining: helping to navigate the API jungle. In Proc. PLDI, pages 48-61, 2005.
12. A. Michail. Data mining library reuse patterns using generalized association rules. In Proc. ICSE, pages 167-176, 2000. (Pubitemid 30910275)
13. M. G. Nanda, C. Grothoff, and S. Chandra. Deriving object typestates in the presence of inter-object references. In OOPSLA, pages 77-96, 2005.
14. M. Ramanathan, A. Grama, and S. Jagannathan. Path-Sensitive Inference of Function Precedence Protocols. Proc. ICSE, pages 240-250, 2007.
15. C. Scaffidi. Why are APIs difficult to learn and use? Crossroads, 12(4):4-4, 2005.
16. S. Shoham, E. Yahav, S. Fink, and M. Pistoia. Static Specification Mining Using Automata-Based Abstractions. Proc. ISSTA, pages 218-228, 2007.
17. N. Tansalarak and K. T. Claypool. Xsnippet: Mining for sample code. In Proc. OOPSLA, 2006.
18. W.Weimer and G. Necula. Mining Temporal Specifications for Error Detection. Proc. TACAS, pages 461-476, 2005. (Pubitemid 41273759)
19. J. Whaley, M. Martin, and M. Lam. Automatic extraction of object-oriented component interfaces. Proc. ISSTA, pages 218-228, 2002.
20. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: mining temporal API rules from imperfect traces. Proc. ICSE, pages 282-291, 2006. (Pubitemid 46600925)