EvoSpex: An Evolutionary Algorithm for Learning Postconditions.

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

Browse the full ICSE paper archive.