Static analysis of deadends in SVA constraints.

Published in: HLDVT (2010)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
constrained optimization
regular expressions
test generation
java card
malicious code
abstract interpretation
evolutionary algorithm
software engineering