Modular typestate checking in concurrent Java programs.

Nels E. Beckman

Published in: OOPSLA Companion (2009)

Keyphrases

java programs
multi threaded
java language
software components
test suite
java virtual machine
artificial intelligence
cooperative
evolutionary algorithm
multi core processors