Static analysis of aspects.

Damien Sereni Oege de Moor

Published in: AOSD (2003)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
malicious code
java card
symbolic execution
test suite
abstract interpretation
databases
case study
data flow
test generation