Dynamic analysis of program concepts in Java.

Jeremy Singer Chris C. Kirkham

Published in: PPPJ (2006)

Keyphrases

dynamic analysis
static analysis
source code
reverse engineering
java programs
object oriented
open source
software engineering
model checking
object oriented concepts
abstract interpretation
database applications
computer programs
test suite
development environment
java virtual machine