Path-optimal symbolic execution of heap-manipulating programs.

Pietro Braione Giovanni Denaro

Published in: CoRR (2024)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
specification language
optimal solution
data structure
optimal path
dynamic programming
data flow
artificial intelligence
database systems
search algorithm
simulated annealing algorithm