Staged Symbolic Execution for Parallel Property Checking.

Junye Wen Guowei Yang

Published in: ACM SIGSOFT Softw. Eng. Notes (2016)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
real world
artificial intelligence
high level
general purpose