Sound Gradual Verification with Symbolic Execution.

Conrad Zimmerman Jenna DiVincenzo Jonathan Aldrich

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
test cases
test set