Semantics-based code search

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2009, Pages 243-253

  Reiss, Steven P ^a  

^a Brown Univerity   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODE SEARCH; OPEN-SOURCE CODE; PROGRAM TRANSFORMATIONS; PROTOTYPE SYSTEM; SECURITY CONSTRAINT; TEST CASE; WEB INTERFACE;

NETWORK SECURITY; SPECIFICATIONS;

COMPUTER SOFTWARE;

EID: 77949894379     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2009.5070525     Document Type: Conference Paper

References (41)

1. Sushil Bajracharya, Trung Ngo, Erik Linstead, Yimeng Dou, Paul Rigor, Pierre Baldi, and Cristina Lopes, "Sourcerer: a search engine for open source code supporting structure-based search," Proc. OOPSLA 2006, pp. 682-682 (October 2006).
2. Shay Banon and Alan Hardy, "Compass Reference Documentation," http://www.compass-project.org/docs/1.2.2/reference/pdf/compass- reference.pdf, (2008).
3. Mike Barnett and Wolfram Schulte, "The ABCs of specification: AsmL, behavior, and components," Informatica Vol. 25(4)(November 2001).
4. Andrew Begel, "Codifier: a programmer-centric search user interface," Workshop on Human-Coputer Interaction and Information Retrieval, (October 2007).
5. Lilian Burdy, Yoonsik Cheon, David Cok, Michael Ernst, Joe Kiniry, Gary T. Leavens, K. Rustan, M. Leino, and Erik Poll, "An overview of JML tools and applications," Intl. Journal on Software Tools for Technology Transfer Vol. 7(3) pp. 212-232 (June 2005).
6. Yoonsik Cheon and Carlos E. Rubio-Medrano, "Random test data generation for Java classes annotated with JML specifications," SERP Vol. 11 pp. 385-392 (June 2007).
7. Shih-Chien Chou, Jen-Yen Chen, and Chyan-Goei Chung, "A behavior-based classification and retrieval technique for object-oriented specification reuse," Software Practice and Experience Vol. 26(7) pp. 815-832 (July 1996).
8. Shih-Chien Chou and Yuan-Chien Chen, "Retrieving reusable components with variation points from software product lines," Information Processing Letters Vol. 99 pp. 106-110 (2006).
9. Google Corporation, "Google Web Toolkit Documentation," http://code.google.com/webtoolkit/overview.html, (2008).
10. Christopher G. Drummond, Dan Ionescu, and Robert C. Holte, "A learning agent that assists the browsing of software libraries," IEEE Trans. on Software Engineering Vol. 26(12) pp. 1179-1196 (December 2000).
11. Michael D. Ernst, Raimondas Lencevisius, and Jeff H. Perkins, "Detection of web service substitutability and composability," WS-MaTe 2006: International Workshop on Web Services - Modeling and Testing, pp. 123-135 (June 2006).
12. William B. Frakes and Thomas P. Pole, "An empiracal study of representation methods for reusable software components," IEEE Trans. on Software Engineering Vol. 20(8) pp. 617-630 (August 1994).
13. Li Gong, "Java 2 platform security architecture," Sun Microsystems (http://java.sun.com/j2se/1.4.2/docs/guide/security/spec/security- spec.doc.html), (2002).
14. J. V. Guttag, J. J. Horning, and J. M. Wing, "The Larch family of specification languages," IEEE Software Vol. 2(5) pp. 24-36 (March 1985).
15. Robert J. Hall, "Generalized behavior-based retrieval," Proc ICSE'93, pp. 371-380 (May 1993).
16. David Hemer and Peter Lindsay, "Supporting component-based reuse in CARE," Australian Computer Science Communications Vol. 24(1) pp. 95-104 (2002).
17. Raphael Hoffmann and James Fogarty, "Assieme: finding and leveraging implicit references in a web search interface for programmers," Proc. UIST 2007, pp. 13-22 (October 2007).
18. Jun-Jang Jeng and Betty H. C. Cheng, "Specification matching for software reuse: a foundation," Proc. ACM Symp. on Software Reuse, pp. 97-105 (April 1995).
19. Otavio Lemos, Sushil Bajracharya, Joel Ossher, Ricardo Morla, Paulo Masiero, Pierre Baldi, and Cristina Lopes, "CodeGenie: using test-cases to search and reuse source code," ASE '07, pp. 525-526 (November 2007).
20. Greg Little and Robert C. Miller, "Keyword programming in Java," Proc. ASE 2007, pp. 84-93 (November 2007).
21. Daniel Lucredio, Antonio Franciso do Prado, and Eduardo Santana de Almeida, "A survey of software components search and retrieval," Proc. EUROMICRO'04, pp. 152-159 (2004).
22. Yoelle S. Maarek, Daniel M. Berry, and Gail E. Kaiser, "An information retrieval approach for automatically constructing software libraries," IEEE Trans. on Software Engineering Vol. 17(8) pp. 800-813 (August 1991).
23. Bertrand Meyer, Object-Oriented Software Construction, Prentice-Hall (1988).
24. A. Mili, R. Mili, and R. T. Mittermeir, "A survey of software reuse libraries," Annals of Software Engineering Vol. 5 pp. 349-414 (1998).
25. Hafdeh Mili, Fatma Mili, and Ali Mili, "Reusing software: issues and reseach directions," IEEE Trans. on Software Engineering Vol. 21(6) pp. 528-562 (June 1995).
26. Rym Mili, Ali Mili, and Roland T. Mittermeir, "Storing and retrieving software components: a refinement based system," IEEE Trans. on Software Engineering Vol. 23(7)(July 1997).
27. Santanu Paul and Atul Prakash, "A framework for source code search using program patterns," IEEE Trans. on Software Engineering Vol. 20(6) pp. 463-475 (June 1994).
28. Andy Podgurski and Lynn Pierce, "Retrieving reusable software by sampling behavior," ACM Trans. on Software Engineering and Methodology Vol. 2(3) pp. 286-303 (July 1993).
29. Steven P. Reiss, "A component model for Internet-scale applications," Proc. ASE 2005, pp. 34-43 (November 2005).
30. Steven P. Reiss, "Automatic code stylizing," Proc. ASE'07, pp. 74-83 (November 2007).
31. Eugene J. Rollins and Jeannette M. Wing, "Specifications as search keys for software libraries," Proc. 8th Intl. Conf. on Logic Programming, pp. 173-187 (1991).
32. Colin Runciman and Ian Toyn, "Retrieving re-usable software components by polymorphic type," Proc. 4th Intl. Conf. on Functional Programming Languages and Computer Architecture, pp. 166-173 (1989).
33. Vijayan Sugumaran and Veda C. Storey, "A semantic-based approach to component retrieval," Advances in Information Systems Vol. 34(3) pp. 8-24 (2003).
34. Suresh Thummalapenta and Tao Xie, "PARSEWeb: a programmer assistant for reusing open source code on the web," Proc. ASE'07, pp. 204-213 (November 2007).
35. Taciana A. Vanderlei, Frederico A. Durao, Alexandre C. Martins, Vinicius C. Garcia, Eduardo S. Almeida, and Silvio R. de L. Meira, "A cooperative classification mechanism for search and retrieval software components," Proc SAC'07, pp. 866-871 (March 2007).
36. Yiqiao Wang and Eleni Stroulia, "Semantic structure matching for assessing web-service similarity," Service-Oriented Computing: ICSOC 2003, pp. 194-207 (2003).
37. J. B. Wordsworth, Software Development with Z, Addison-Wesley (1992).
38. Haining Yao and Letha Etzkorn, "Towards a semantic-based approach for software reusable component classification and retrieval," ACMSE'04, pp. 110-115 (April 2004).
39. Yunwen Ye and Gerhard Fischer, "Supporting reuse by delivering task- relevant and personalized information," Proc. ICSE'02, pp. 513-523 (May 2002).
40. Yunwen Ye, "Programming with an intelligent agent," IEEE Intelligent Systems Vol. 18(3) pp. 43-47 (May 2003).
41. Amy Moormann Zaremski and Jeannette M. Wing, "Signature matching: a key to reuse," Software Engineering Notes Vol. 18(5) pp. 182-190 (December 1993).