Learning to Prune Infeasible Paths in Generalized Symbolic Execution.

Facundo Molina Pablo Ponzio Nazareno Aguirre Marcelo F. Frias

Published in: ISSRE (2022)

Keyphrases

learning algorithm
case study
relational databases
search space
state space
monitoring system
symbolic execution