160 search results - page 7 / 32 » Software Manipulation with Annotations in Java |
TAICPART
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract. Unit testing in the presence of side eects requires the construction of a suitable test xture before each test run. We consider the problem of providing test xtures fo...
TACAS
2007
Springer
14 years 2 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
WCRE
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...
WER
1999
Springer
14 years 28 days ago
1999
Springer
We present the overall design of an object-oriented library for use when developing tracing capable applications. The library is implemented as java classes and consists of de niti...
PLDI
2012
ACM
11 years 11 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...