%0 Conference Paper
%A Molina, Facundo
%A Ponzio, Pablo
%A Aguirre, Nazareno
%A Frias, Marcelo
%T EvoSpex: An Evolutionary Algorithm for Learning Postconditions
%D 2021
%U https://hdl.handle.net/20.500.14352/134083
%~