Improving the Static Analysis of Loops by Dynamic Partitioning Techniques.

Matthieu Martel

Published in: SCAM (2003)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
reverse engineering
regular expressions
model checking
test generation
data sets
databases
database systems
software engineering
dynamic environments
test case generation