Proof-carrying parameters in certified symbolic execution.

Andrei Arusoaie Dorel Lucanu

Published in: Log. J. IGPL (2024)

Keyphrases

symbolic execution
test data generation
source code
databases
neural network
database systems
feature space
search space
pattern matching
static analysis