Sign in

Testing Java Monitors through Deterministic Execution.

Craig HarveyPaul 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