Model-Based Debugging of Java Programs.

Cristinel Mateis Markus Stumptner Dominik Wieland Franz Wotawa

Published in: AADEBUG (2000)

Keyphrases

java programs
multi threaded
java language
software components
test case generation
test suite
supply chain
building blocks
operating system
fine grained
massively parallel
java virtual machine