Quantum symbolic execution.

Nan Jiang Zichen Wang Jian Wang

Published in: Quantum Inf. Process. (2023)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
test cases
relational databases
neural network
case study
open source
monitoring system
description language
software testing