Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias. Learning to Prune Infeasible Paths in Generalized Symbolic Execution. In IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022. pages 494-504, IEEE, 2022. [doi]
Abstract is missing.