Randomized Resource-Aware Path-Sensitive Static Analysis.

Published in: APLAS (2015)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
regular expressions
java card
malicious code
test generation
open source
abstract interpretation
shortest path
test suite