Results 241 to 250 of about 2,090,361 (288)
Some of the next articles are maybe not open access.
Proceedings of the IEEE/ACM international conference on Automated software engineering, 2010
In this paper, we introduce a model-checking-based certification technique called search-carrying code (SCC). SCC is an adaptation of the principles of proof-carrying code, in which program certification is reduced to checking a provided safety proof. In SCC, program certification is an efficient re-examination of a program's state space.
Ali Taleghani, Joanne M. Atlee
openaire +1 more source
In this paper, we introduce a model-checking-based certification technique called search-carrying code (SCC). SCC is an adaptation of the principles of proof-carrying code, in which program certification is reduced to checking a provided safety proof. In SCC, program certification is an efficient re-examination of a program's state space.
Ali Taleghani, Joanne M. Atlee
openaire +1 more source
Proceedings of the 40th International Conference on Software Engineering, 2018
To implement a program functionality, developers can reuse previously written code snippets by searching through a large-scale codebase. Over the years, many code search tools have been proposed to help developers. The existing approaches often treat source code as textual documents and utilize information retrieval models to retrieve relevant code ...
Xiaodong Gu, Hongyu Zhang, Sunghun Kim
openaire +1 more source
To implement a program functionality, developers can reuse previously written code snippets by searching through a large-scale codebase. Over the years, many code search tools have been proposed to help developers. The existing approaches often treat source code as textual documents and utilize information retrieval models to retrieve relevant code ...
Xiaodong Gu, Hongyu Zhang, Sunghun Kim
openaire +1 more source
Proceedings of the 28th International Conference on Program Comprehension, 2020
Searching code in a large-scale codebase using natural language queries is a common practice during software development. Deep learning-based code search methods demonstrate superior performance if models are trained with large amount of text-code pairs. However, few deep code search models can be easily transferred from one codebase to another. It can
Chunyang Ling +3 more
openaire +1 more source
Searching code in a large-scale codebase using natural language queries is a common practice during software development. Deep learning-based code search methods demonstrate superior performance if models are trained with large amount of text-code pairs. However, few deep code search models can be easily transferred from one codebase to another. It can
Chunyang Ling +3 more
openaire +1 more source
Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, 2010
In this paper, we propose a scalable instant code clone search engine for large-scale software repositories. While there are commercial code search engines available, they treat software as text and often fail to find semantically related code. Meanwhile, existing tools for semantic code clone searches take a "post-mortem" approach involving the ...
Mu-Woong Lee +3 more
openaire +1 more source
In this paper, we propose a scalable instant code clone search engine for large-scale software repositories. While there are commercial code search engines available, they treat software as text and often fail to find semantically related code. Meanwhile, existing tools for semantic code clone searches take a "post-mortem" approach involving the ...
Mu-Woong Lee +3 more
openaire +1 more source
2021
Identifying similarities in source code is the main challenge for reuse, plagiarism, and code clone detection. Code clone search has emerged as a new research branch in clone detection, aiming to provide similarity search functionality for code snippets.
Iman Keivanloo, Juergen Rilling
openaire +1 more source
Identifying similarities in source code is the main challenge for reuse, plagiarism, and code clone detection. Code clone search has emerged as a new research branch in clone detection, aiming to provide similarity search functionality for code snippets.
Iman Keivanloo, Juergen Rilling
openaire +1 more source
2009 ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation, 2009
Internet-Scale Code Search is the problem of finding source on the Internet. Developers are typically searching for code to reuse as-is on a project or as a reference example. This phenomenon has emerged due to the increasing availability and quality of open source and resources on the web.
Rosalva E. Gallardo-Valencia +1 more
openaire +1 more source
Internet-Scale Code Search is the problem of finding source on the Internet. Developers are typically searching for code to reuse as-is on a project or as a reference example. This phenomenon has emerged due to the increasing availability and quality of open source and resources on the web.
Rosalva E. Gallardo-Valencia +1 more
openaire +1 more source
Code parallelization through sequential code search
Proceedings of the 38th International Conference on Software Engineering Companion, 2016in this paper, we propose a new technique to recommend programmers with high quality parallel code that are similar to a given sequential code. This is done by transforming well-grounded parallel code A into its sequential equivalent B, storing them (A->B) into database, given a sequential code C, search the database for syntactic or semantic similar ...
openaire +1 more source
Learning Code-Query Interaction for Enhancing Code Searches
2020 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2020Code search plays an important role in software development and maintenance. In recent years, deep learning (DL) has achieved a great success in this domain—several DL-based code search methods, such as DeepCS and UNIF, have been proposed for exploring deep, semantic correlations between code and queries; each method usually embeds source code and ...
Wei Li +4 more
openaire +1 more source