QuickChecking static analysis properties.

Jan Midtgaard Anders Møller

Published in: Softw. Test. Verification Reliab. (2017)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
java card
symbolic execution
abstract interpretation
databases
data sets
artificial intelligence
data analysis
open source
error rate
malicious code