RT Conference Proceedings
T1 EvoSpex: An Evolutionary Algorithm for Learning Postconditions
A1 Molina, Facundo
A1 Ponzio, Pablo
A1 Aguirre, Nazareno
A1 Frias, Marcelo
YR 2021
FD 2021
LK https://hdl.handle.net/20.500.14352/134083
UL https://hdl.handle.net/20.500.14352/134083
LA eng
DS Docta Complutense
RD 21 mar 2026