Reducing the overhead of assertion run-time checks via static analysis.

Nataliia Stulova José F. Morales Manuel V. Hermenegildo

Published in: PPDP (2016)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
java card
test generation
symbolic execution
abstract interpretation
data sets
open source
regular expressions
test suite
databases
domain knowledge
building blocks