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]
No references recorded for this publication.
No citations of this publication recorded.