The Static Analysis of Linear Loops.

Michael Lvov Yulia Tarasich

Published in: ICTERI (2015)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
test suite
symbolic execution
learning algorithm
regular expressions
java card
xml documents
test generation
abstract interpretation