Sign in
Self-adaptive static analysis.
Eric Bodden
Published in:
CoRR (2017)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
regular expressions
test generation
control parameters
java card
malicious code
abstract interpretation
test suite
feature space
open source
semi automatic