Parallel Chopped Symbolic Execution.

Shikhar Singh Sarfraz Khurshid

Published in: ICFEM (2020)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
specification language
source code
data flow
artificial intelligence
case study
programming language