Distinctness and Sharing Domains for Static Analysis of Java Programs.

Isabelle Pollet Baudouin Le Charlier Agostino Cortesi

Published in: ECOOP (2001)

Keyphrases

static analysis
java programs
test suite
test case generation
dynamic analysis
test cases
source code
java language
real world
multi threaded
software components
software testing
regular expressions
genetic programming
data sets
java virtual machine
real time