A Resource-Oriented Static Analysis Approach to Adaptable Java Applications.

Marco Autili Paolo Di Benedetto Paola Inverardi Fabio Mancinelli

Published in: COMPSAC (2008)

Keyphrases

static analysis
dynamic analysis
source code
resource allocation
malicious code
test generation
java card
symbolic execution
software components
web resources
test suite
abstract interpretation
metadata
case study
regular expressions