Formal Techniques for Java Programs.

Sophia Drossopoulou Susan Eisenbach Bart Jacobs Gary T. Leavens Peter Müller Arnd Poetzsch-Heffter

Published in: ECOOP Workshops (2000)

Keyphrases

java programs
multi threaded
software components
java language
test case generation
formal methods
java virtual machine
cooperative
relational databases
evolutionary algorithm
general purpose
programming language
parallel algorithm
test suite