Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
3,494
Bandera: Extracting Finite-state Models from Java Source Code
- IN PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
, 2000
"... Finite-state verification techniques, such as model checking, have shown promise as a cost-effective means for finding defects in hardware designs. To date, the application of these techniques to software has been hindered by several obstacles. Chief among these is the problem of constructing a fini ..."
Abstract
-
Cited by 654 (33 self)
- Add to MetaCart
program source code. Bandera takes as input Java source code and generates a program model in the input language of one of several existing verification tools; Bandera also maps verifier outputs back to the original source code. We discuss the major components of Bandera and give an overview of how it can
Java Source
"... All rights reserved, except that an owner of the book may print a single copy of this chapter. Java 1 is both a programming language and a model for developing software for networks. We start with a description of the Java model, because it is essential to understand that the model is independent of ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
All rights reserved, except that an owner of the book may print a single copy of this chapter. Java 1 is both a programming language and a model for developing software for networks. We start with a description of the Java model, because it is essential to understand that the model is independent
Capturing ghost dependencies in Java sources
, 2004
"... this paper we study the problem of extracting dependency information from Java sources and propose an encoding of these dependency information as regular expressions. This encoding is both compact to store and fast to check ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
this paper we study the problem of extracting dependency information from Java sources and propose an encoding of these dependency information as regular expressions. This encoding is both compact to store and fast to check
Ephemeral Java Source Code
, 1999
"... In an object oriented, distributed environment, program maintenance, which has never been the most predictable task, becomes even more uncertain. Java's dynamic loading mechanism was developed to tackle some of the uncertainties. In doing so, it shifts the focus from the state of the sources to ..."
Abstract
-
Cited by 8 (6 self)
- Add to MetaCart
In an object oriented, distributed environment, program maintenance, which has never been the most predictable task, becomes even more uncertain. Java's dynamic loading mechanism was developed to tackle some of the uncertainties. In doing so, it shifts the focus from the state of the sources
from Java Source Code
, 2007
"... Computer Science Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This dissertation presents a new, fully au-tomated pattern detection approach based on our reclassification of the GoF patterns by their pattern intent. ..."
Abstract
- Add to MetaCart
Computer Science Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This dissertation presents a new, fully au-tomated pattern detection approach based on our reclassification of the GoF patterns by their pattern intent
JavaML: A Markup Language for Java Source Code
, 2000
"... The classical plain-text representation of source code is convenient for programmers but requires parsing to uncover the deep structure of the program. While sophisticated software tools parse source code to gain access to the program's structure, many lightweight programming aids such as grep ..."
Abstract
-
Cited by 118 (4 self)
- Add to MetaCart
rely instead on only the lexical structure of source code. I describe a new XML application that provides an alternative representation of Java source code. This XML-based representation, called JavaML, is more natural for tools and permits easy specification of numerous software-engineering analyses
Prospects of encoding Java source code in XML
, 2003
"... Currently, the only standard format for representing Java source code is plain text-based. This paper explores the prospects of using Extensible Markup Language (XML) for this purpose. XML enables the leverage of tools and standards more powerful than those available for plain-text formats, while re ..."
Abstract
- Add to MetaCart
Currently, the only standard format for representing Java source code is plain text-based. This paper explores the prospects of using Extensible Markup Language (XML) for this purpose. XML enables the leverage of tools and standards more powerful than those available for plain-text formats, while
Declarative intraprocedural flow analysis of java source code
- Electronic Notes in Theoretical Computer Science
, 2009
"... We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circu-lar attributes and collection attributes. Our implementation is built on top of the JastAdd Extensible Java Compiler and we hav ..."
Abstract
-
Cited by 6 (0 self)
- Add to MetaCart
We have implemented intraprocedural control-flow and data-flow analysis of Java source code in a declarative manner, using reference attribute grammars augmented with circu-lar attributes and collection attributes. Our implementation is built on top of the JastAdd Extensible Java Compiler and we
Deducing Similarities in Java Sources from Bytecodes
, 1998
"... Several techniques for detecting similarities of Java programs from bytecode files, without access to the source, are introduced in this paper. These techniques can be used to compare two files, to find similarities among thousands of files, or to compare one new file to an index of many old ones. E ..."
Abstract
-
Cited by 53 (1 self)
- Add to MetaCart
Several techniques for detecting similarities of Java programs from bytecode files, without access to the source, are introduced in this paper. These techniques can be used to compare two files, to find similarities among thousands of files, or to compare one new file to an index of many old ones
Results 1 - 10
of
3,494
