Symbolic execution formally explained.

Frank S. de Boer Marcello M. Bonsangue

Published in: Formal Aspects Comput. (2021)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
specification language
source code
data flow
simulated annealing algorithm
genetic algorithm
evolutionary algorithm
test cases
generation algorithm
neural network
database systems
training data