Testing Your (Static Analysis) Truths.

Ignacio Casso José F. Morales Pedro López-García Manuel V. Hermenegildo

Published in: LOPSTR (2020)

Keyphrases

static analysis
symbolic execution
dynamic analysis
test generation
test suite
test case generation
source code
malicious code
abstract interpretation
test cases
regular expressions
java card
metadata
semi automatic
reverse engineering