Fixing Code that Explodes Under Symbolic Evaluation.

Sorawee Porncharoenwase James Bornholt Emina Torlak

Published in: VMCAI (2020)

Keyphrases

source code
information systems
empirical evaluation
evaluation criteria
evaluation methods
data sets
data mining
decision making
image processing
case study
three dimensional
evaluation method
static analysis