Mining library specifications using inductive logic programming

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2008, Pages 131-140

  Sankaranarayanan, Sriram ^a   Ivančić, Franjo ^a   Gupta, Aarti ^a  

^a NEC LABORATORIES AMERICA   (United States)

Author keywords

Datalog; Inductive logic programming; Machine learning; Software specification; Verification

Indexed keywords

APPLICATION CODES; APPLICATION PROGRAMMING; CLIENT PROGRAMS; CODE REUSE; CORNER CASE; DATALOG; FORMAL SPECIFICATIONS; INDUCTIVE LOGIC PROGRAMMING; INTERFACE SPECIFICATIONS; LIBRARY SPECIFICATIONS; MACHINE LEARNING; SOFTWARE LIBRARIES; SOFTWARE SPECIFICATION; UNIT TESTS; FORMAL SPECIFICATION; INTERFACE SPECIFICATION;

APPLICATIONS; COMPUTER PROGRAMMING; COMPUTER SOFTWARE REUSABILITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; LEARNING SYSTEMS; LOGIC PROGRAMMING; PROGRAM PROCESSORS; PROGRAMMING THEORY; REENGINEERING; REVERSE ENGINEERING; ROBOT LEARNING; SOFTWARE ENGINEERING; SPECIFICATIONS; VERIFICATION; MINING;

APPLICATION PROGRAMMING INTERFACES (API);

EID: 57349129534     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1368088.1368107     Document Type: Conference Paper

References (23)

1. ACHARYA, M., XIE, T., PEI, J., AND XU, J. Mining API patterns as partial orders from source code: from usage scenarios to specifications. In ESEC-FSE '07 (2007), ACM Press, pp. 25-34.
2. ALUR, R., ČERNÝ, P., MADHUSUDAN, P., AND NAM, W. Synthesis of interface specifications for Java classes. In Proc. ACM SIGPLAN syrup, on Principles of prog. lang. (POPL) (2005), ACM Press, pp. 98-109.
3. AMMONS. G., BODÍK, R., AND LARUS, J. R. Mining specifications. In POPL (2002), pp. 4-16.
4. BERGADANO, F., AND GUNETTI, D. Inductive Logic Programming: From Machine Learning to Software Engineering. MIT Press, 1996.
5. CADAR, C., AND ENGLER, D. R. Execution Generated Test Cases: How to make systems code crash itself. In SPIN (2005), vol. 3639 of LNCS, Springer-Verlag. pp. 2-23.
6. CHRISTODORESCU, M., KRUEGEL, C., AND JHA, S. Mining specifications of malicious behavior. In ESEC-FSE '07 (2007), ACM Press, pp. 5-14.
7. COHEN, W. W. Recovering software specifications with inductive logic programming. In AAAI (1994), pp. 142-148.
8. CSALLNER, C., AND SMARAGDAKIS, Y. Jcrasher: an automatic robustness tester for Java. Softw., Pract. Exper. 34, 11 (2004), 1025-1050.
9. DE ALFARO, L., AND HENZINGER, T. A. Interface automata. In ESEC / SIGSOFT FSE (2001), ACM Press, pp. 109-120.
10. ERNST, M. D. Dynamically Discovering Likely Program Invariants. Ph.D., University of Washington Department of Computer Science and Engineering, Seattle, Washington, Aug. 2000.
11. GODEFROID. P., KLARLUND, N., AND SEN, K. DART: Directed Automated Random Testing. In ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDF05) (2005), pp. 213-223.
12. JIANG, G., CHEN, H., UNGUREANU, C., AND YOSHIHIRA, K. Multi-resolution abnormal trace detection using varied-length N-grams and automata. In ICAC (2005), IEEE Computer Society, pp. 111-122.
13. JONES, C. B. Software Development: A Rigorous Approach. 1980.
14. MITCHELL, T. M. Machine Learning. McGraw-Hill, 1997.
15. MUGGLETON, S. Inverse resolution and PROGOL. New Generation Computing 13 (1995), 245-286.
16. PAZZANI, M., BRUNK, C., AND SILVERSTEIN, G. A knowledge-intensive approach to learning relational concepts. In Proc. Workshop on Machine Learning (1991), Morgan Kauffmann, pp. 432-436.
17. QUINLAN. J. R. Learning logical definitions from relations. Machine Learning 5 (1990). 239-266.
18. RAMANATHAN, M. K., GRAMA. A., AND JAGANNATHAN, S. Static specification inference using predicate mining. In Proc. ACM SIGPLAN Prog. Lang. Design & Implementation (PLDI) (2007), ACM press, pp. 123-134.
19. SEN, K., MARINOV, D., AND AGHA, G. Cute: A concolic unit testing engine for c. In ESEC/FSE'05 (2005), ACM Press.
20. SRINIVASAN, A. The Aleph manual. Available at http://www.comlab.ox.ac.uk/oucl/research./areas/machlearn/Aleph/.
21. WHALEY, J., AND LAM, M. S. Cloning-based context-Sensitive pointer alias analysis using binary decision diagrams. In PLDI '04 (2004), ACM Press, pp. 131-144.
22. WHALEY, J., MARTIN, M. C., AND LAM, M. S. Automatic extraction of object-oriented component interfaces. In ISSTA (2002), pp. 218-228.
23. YANG, J., EVANS. D., BHARDWAJ, D., BHAT. T., AND DAS, M. Perracotta: Mining temporal API rules from imperfect traces. In Proc. of ICSE (2006).