Guiding Symbolic Execution with A-Star.

Theo De Castro Pinto Antoine Rollet Grégoire Sutre Ireneusz Tobor

Published in: SEFM (2023)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
test cases
search algorithm
artificial intelligence
description language
image quality
general purpose
simulated annealing algorithm
generation algorithm
feature space
high level