Typestate-based semantic code search over partial programs

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2012, Pages 997-1016

  Mishne, Alon ^a   Shoham, Sharon ^b   Yahav, Eran ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

^b ACADEMIC COLLEGE OF TEL AVIV YAFFO   (Israel)

Author keywords

Code Search Engine; Ranking Code Samples; Specification Mining; Static Analysis; Typestate

Indexed keywords

ANSWERING QUERIES; CODE SEARCH; CODE SEARCH ENGINE; EDUCATIONAL RESOURCE; OPEN SOURCE PROJECTS; PARTIAL INFORMATION; PRECISE ANALYSIS; RANKING CODE SAMPLES; SEARCH QUERIES; SEMANTIC CODES; SPECIFICATION MINING; TEMPORAL SPECIFICATION; TYPESTATE; USAGE SCENARIOS;

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER PROGRAMMING LANGUAGES; OBJECT ORIENTED PROGRAMMING; OPEN SYSTEMS; QUERY PROCESSING; SEARCH ENGINES; SEMANTICS; SPECIFICATIONS;

STATIC ANALYSIS;

EID: 84869757438     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2384616.2384689     Document Type: Conference Paper

References (44)

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, pp. 25-34.
2. ALNUSAIR, A., ZHAO, T., AND BODDEN, E. Effective API navigation and reuse. In IRI (aug. 2010), pp. 7 -12.
3. ALUR, R., CERNY, P., MADHUSUDAN, P., AND NAM, W. Synthesis of interface specifications for Java classes. In POPL (2005).
4. AMMONS, G., BODIK, R., AND LARUS, J. R. Mining specifications. In POPL'02, pp. 4-16.
5. BAXTER, I. D., YAHIN, A., MOURA, L., SANT'ANNA, M., AND BIER, L. Clone detection using abstract syntax trees. In ICSM '98.
6. BECKMAN, N., KIM, D., AND ALDRICH, J. An empirical study of object protocols in the wild. In ECOOP'11.
7. COOK, J. E., AND WOLF, A. L. Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol. 7, 3 (1998), 215-249.
8. COUSOT, P., AND COUSOT, R. Modular static program analysis, invited paper. April 6-14 2002.
9. DAGENAIS, B., AND HENDREN, L. J. Enabling static analysis for partial Java programs. In OOPSLA'08, pp. 313-328.
10. DALLMEIER, V., LINDIG, C., WASYLKOWSKI, A., AND ZELLER, A. Mining object behavior with ADABU. In WODA '06.
11. DUCASSE, S., RIEGER, M., AND DEMEYER, S. A language independent approach for detecting duplicated code. In ICSM '99.
12. FINK, S., YAHAV, E., DOR, N., RAMALINGAM, G., AND GEAY, E. Effective typestate verification in the presence of aliasing. In ISSTA'06, pp. 133-144.
13. GABEL, M., JIANG, L., AND SU, Z. Scalable detection of semantic clones. In ICSE '08, pp. 321-330.
14. GABEL, M., AND SU, Z. Javert: fully automatic mining of general temporal properties from dynamic traces. In FSE'08.
15. github code search. https://github.com/search.
16. GRUSKA, N., WASYLKOWSKI, A., AND ZELLER, A. Learning from 6,000 projects: Lightweight cross-project anomaly detection. In ISSTA '10.
17. HOLMES, R., AND MURPHY, G. C. Using structural context to recommend source code examples. In ICSE '05.
18. HOLMES, R., WALKER, R. J., AND MURPHY, G. C. Strathcona example recommendation tool. In FSE'05, pp. 237-240.
19. JIANG, L., MISHERGHI, G., SU, Z., AND GLONDU, S. Deckard: Scalable and accurate tree-based detection of code clones. IEEE Computer Society, pp. 96-105.
20. KAMIYA, T., KUSUMOTO, S., AND INOUE, K. CCFinder: A multilinguistic token-based code clone detection system for large scale source code. IEEE Trans. Softw. Eng. 28, 7 (July 2002), 654-670.
21. KIM, J., LEE, S., WON HWANG, S., AND KIM, S. Towards an intelligent code search engine. In AAAI'10.
22. Koders. http://www.koders.com/.
23. KOMONDOOR, R., AND HORWITZ, S. Using slicing to identify duplication in source code. In SAS '01, pp. 40-56.
24. KRINKE, J. Identifying similar code with program dependence graphs. In WCRE (2001), pp. 301-309.
25. LIVIERI, S., HIGO, Y., MATUSHITA, M., AND INOUE, K. Very-large scale code clone analysis and visualization of open source programs using distributed CCFinder: D-CCFinder. In ICSE'07.
26. LO, D., AND KHOO, S.-C. SMArTIC: towards building an accurate, robust and scalable specification miner. In FSE'06.
27. MANDELIN, D., XU, L., BODIK, R., AND KIMELMAN, D. Jungloid mining: helping to navigate the API jungle. In PLDI '05, pp. 48-61.
28. MISHNE, A. Typestate-based semantic code search over partial programs. Master's thesis, Technion-Israel Institute of Technology, Haifa, Israel, 2012.
29. MONPERRUS, M., BRUCH, M., AND MEZINI, M. Detecting missing method calls in object-oriented software. In ECOOP (2010), T. D'Hondt, Ed., vol. 6183 of Lecture Notes in Computer Science, Springer, pp. 2-25.
30. REISS, S. P. Semantics-based code search. In ICSE'09.
31. SAHAVECHAPHAN, N., AND CLAYPOOL, K. XSnippet: mining for sample code. In OOPSLA '06.
32. SHOHAM, S., YAHAV, E., FINK, S., AND PISTOIA, M. Static specification mining using automata-based abstractions. In ISSTA '07.
33. SOLAR-LEZAMA, A., RABBAH, R., BODÍK, R., AND EBCIO?GLU, K. Programming by sketching for bit-streaming programs. In PLDI '05.
34. stackoverflow. http://stackoverflow.com/.
35. STROM, R. E., AND YEMINI, S. Typestate: A programming language concept for enhancing software reliability. IEEE Trans. Software Eng. 12, 1 (1986), 157-171.
36. THUMMALAPENTA, S., AND XIE, T. PARSEWeb: a programmer assistant for reusing open source code on the web. In ASE'07, pp. 204-213.
37. VALLÉE-RAI, R., CO, P., GAGNON, E., HENDREN, L., LAM, P., AND SUNDARESAN, V. Soot - a Java bytecode optimization framework. In CASCON '99, IBM Press, pp. 13-.
38. WAHLER, V., SEIPEL, D., WOLFF, J., AND FISCHER, G. Clone detection in source code by frequent itemset techniques. In Source Code Analysis and Manipulation (2004).
39. WASYLKOWSKI, A., AND ZELLER, A. Mining temporal specifications from object usage. In Autom. Softw. Eng. (2011), vol. 18.
40. WASYLKOWSKI, A., ZELLER, A., AND LINDIG, C. Detecting object usage anomalies. In FSE'07, pp. 35-44.
41. WEIMER, W., AND NECULA, G. Mining temporal specifications for error detection. In TACAS (2005).
42. WHALEY, J., MARTIN, M. C., AND LAM, M. S. Automatic extraction of object-oriented component interfaces. In ISSTA'02.
43. YANG, J., EVANS, D., BHARDWAJ, D., BHAT, T., AND DAS, M. Perracotta: mining temporal API rules from imperfect traces. In ICSE '06, pp. 282-291.
44. ZHONG, H., XIE, T., ZHANG, L., PEI, J., AND MEI, H. MAPO: Mining and recommending API usage patterns. In ECOOP'09.