Verification of Java Programs with Generics.

Kurt Stenzel Holger Grandy Wolfgang Reif

Published in: AMAST (2008)

Keyphrases

java programs
multi threaded
java language
software components
test case generation
test suite
java virtual machine
cooperative
artificial intelligence
operating system
fine grained