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]
@inproceedings{MolinaPAF22,
title = {Learning to Prune Infeasible Paths in Generalized Symbolic Execution},
author = {Facundo Molina and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias},
year = {2022},
doi = {10.1109/ISSRE55969.2022.00054},
url = {https://doi.org/10.1109/ISSRE55969.2022.00054},
researchr = {https://researchr.org/publication/MolinaPAF22},
cites = {0},
citedby = {0},
pages = {494-504},
booktitle = {IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022},
publisher = {IEEE},
isbn = {978-1-6654-5132-1},
}