Compiling Parallel Symbolic Execution with Continuations.

Guannan Wei Songlin Jia Ruiqi Gao Haotian Deng Shangyin Tan Oliver Bracevac Tiark Rompf

Published in: ICSE (2023)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
neural network
case study
general purpose
open source
machine vision
data flow