Parallel Property Checking with Symbolic Execution.

Junye Wen Guowei Yang

Published in: SEKE (2018)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
data flow
neural network
source code
software testing
programming language