EvoSpex: A Search-Based Tool for Postcondition Inference

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]

Authors

Facundo Molina

This author has not been identified. Look up 'Facundo Molina' in Google

Pablo Ponzio

This author has not been identified. Look up 'Pablo Ponzio' in Google

Nazareno Aguirre

This author has not been identified. Look up 'Nazareno Aguirre' in Google

Marcelo F. Frias

This author has not been identified. Look up 'Marcelo F. Frias' in Google