Testing Java Monitors through Deterministic Execution.

Craig Harvey Paul A. Strooper

Published in: Australian Software Engineering Conference (2001)

Keyphrases

java virtual machine
testing process
open source
lightweight
source code
execution model
data sets
program execution
symbolic execution
high level
object oriented
query optimization
data flow
test generation