Ares: Inferring Error Specifications through Static Analysis.

Chi Li Min Zhou Zuxing Gu Ming Gu Hongyu Zhang

Published in: ASE (2019)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
error rate
regular expressions
java card
malicious code
test suite
abstract interpretation
computational methods
test generation
formal specification
data sets
decision trees
real world
databases