587 search results - page 6 / 118 » Algorithmic Debugging of Java Programs |
VL
2000
IEEE
14 years 2 days ago
2000
IEEE
We describe a language-independent and specificationdriven program rendering tool that is able to produce highquality code renderings of arbitrary complexity. The tool can incorp...
TOSEM
2008
13 years 7 months ago
2008
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
We present a tool for finding errors in Java programs that translates Java bytecodes into symbolic pushdown systems, which are then checked by the Moped tool [1].
LSSC
2001
Springer
14 years 4 days ago
2001
Springer
Within the trend of object-based distributed programming, we present a non-intrusive graphical environment for remote monitoring and steering, IC2D: Interactive Control and Debuggi...
ENTCS
2002
13 years 7 months ago
2002
This work is part of the Fujaba project. The Fujaba project aims to use the Unified Modeling Language UML as a programmed graph rewriting language. This paper describes the new gr...