EvoSpex: An Evolutionary Algorithm for Learning Postconditions

dc.conference.titleProceedings of the 43rd International Conference on Software Engineering
dc.contributor.authorMolina, Facundo
dc.contributor.authorPonzio, Pablo
dc.contributor.authorAguirre, Nazareno
dc.contributor.authorFrias, Marcelo
dc.date.accessioned2026-03-17T18:08:23Z
dc.date.available2026-03-17T18:08:23Z
dc.date.issued2021
dc.description.departmentDepto. de Sistemas Informáticos y Computación
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statuspub
dc.identifier.doi10.1109/ICSE43902.2021.00112
dc.identifier.officialurlhttps://doi.org/10.1109/ICSE43902.2021.00112
dc.identifier.urihttps://hdl.handle.net/20.500.14352/134083
dc.language.isoeng
dc.rights.accessRightsopen access
dc.subject.ucmSoftware
dc.subject.unesco1203.17 Informática
dc.titleEvoSpex: An Evolutionary Algorithm for Learning Postconditions
dc.typeconference paper
dspace.entity.typePublication

Download

Original bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
evospex.pdf
Size:
497.32 KB
Format:
Adobe Portable Document Format

Collections