Symbolic Execution and Debugging Synchronization.

Andrea Fioraldi

Published in: CoRR (2020)

Keyphrases

symbolic execution
test data generation
static analysis
test generation
software testing
specification language
source code
test cases
data flow
simulated annealing algorithm
data sets
optimal solution
software systems