Handling Memory-Intensive Operations in Symbolic Execution.

Luca Borzacchiello Emilio Coppa Camil Demetrescu

Published in: ISEC (2022)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
specification language
source code
data flow
artificial intelligence
databases
evolutionary algorithm
monitoring system