Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias. EvoSpex: A Search-Based Tool for Postcondition Inference. In René Just, Gordon Fraser 0001, editors, Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. pages 1519-1522, ACM, 2023. [doi]
@inproceedings{MolinaPAF23,
title = {EvoSpex: A Search-Based Tool for Postcondition Inference},
author = {Facundo Molina and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias},
year = {2023},
doi = {10.1145/3597926.3604928},
url = {https://doi.org/10.1145/3597926.3604928},
researchr = {https://researchr.org/publication/MolinaPAF23},
cites = {0},
citedby = {0},
pages = {1519-1522},
booktitle = {Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023},
editor = {René Just and Gordon Fraser 0001},
publisher = {ACM},
}