Delta-Bench: Differential Benchmark for Static Analysis Security Testing Tools.

Ivan Pashchenko Stanislav Dashevskyi Fabio Massacci

Published in: ESEM (2017)

Keyphrases

static analysis
java card
symbolic execution
dynamic analysis
test generation
test suite
source code
test cases
test case generation
regular expressions
real world
access control
security policies
abstract interpretation
malicious code
software testing
artificial intelligence
database
test set
error rate
data sets