80 search results - page 1 / 16 » Optimizing Generation of Object Graphs in Java PathFinder |
ICST
2009
IEEE
13 years 11 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
SPIN
2005
Springer
13 years 9 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
ECOOP
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. A generational collection strategy utilizing a single nursery cannot efficiently manage objects in application servers due to variance in their lifespans. In this paper, ...
CSMR
2007
IEEE
13 years 10 months ago
2007
IEEE
A dynamic object process graph is a view on the control flow graph from the perspective of a single object. It has been shown that such a graph can be a useful starting point for...
APAQS
2001
IEEE
13 years 8 months ago
2001
IEEE
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...