Demonstration: Static Analysis of AKL.

Dan Sahlin Thomas Sjöland

Published in: WSA (1993)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
test generation
java card
malicious code
regular expressions
abstract interpretation
test suite
real world
learning algorithm
software development
test case generation