Event-based runtime verification of java programs.

Marcelo d'Amorim Klaus Havelund

Published in: ACM SIGSOFT Softw. Eng. Notes (2005)

Keyphrases

java programs
multi threaded
software components
java language
java virtual machine
artificial intelligence
genetic programming
building blocks
information flow