Static Analysis for Computing Escapability and Mutability for Java Components.

Aiwu Shi Gleb Naumovich

Published in: SCAM (2005)

Keyphrases

static analysis
source code
dynamic analysis
java card
reusable components
open source
abstract interpretation
object oriented
malicious code
symbolic execution
software systems
building blocks
test generation
java programs
test suite
high level
test case generation
programming language
real world
databases