EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact).

Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Browse the full ICSE paper archive.