Parallel property checking with staged symbolic execution.

Junye Wen Guowei Yang

Published in: SAC (2019)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
data sets
database
case study
high level
relational databases
general purpose
programming language
test cases