ponencia en congreso.page.titleprefix
EvoSpex: An evolutionary algorithm for learning postconditions (artifact)

Simple item page
dc.contributor.authorMolina, Facundo
dc.contributor.authorPonzio, Pablo
dc.contributor.authorAguirre, Nazareno
dc.contributor.authorFrías, Marcelo
dc.date.accessioned2022-05-31T19:50:44Z
dc.date.available2022-05-31T19:50:44Z
dc.date.issued2021
dc.description.abstract"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software implementation. Unfortunately, software many times lacks such specifications, and thus providing tools and techniques that can assist developers in the construction of software specifications are relevant in software engineering. As an aid in this context, we present EvoSpex, a tool that given a Java method, automatically produces a specification of the method’s current behavior, in the form of postcondition assertions. EvoSpex is based on generating software runs from the implementation (valid runs), making modifications to the runs to build divergent behaviors (invalid runs), and executing a genetic algorithm that tries to evolve a specification to satisfy the valid runs, and leave out the invalid ones. Our tool supports a rich JML-like assertion language, that can capture complex specifications, including sophisticated object structural properties."en
dc.identifier.urihttp://ri.itba.edu.ar/handle/123456789/3903
dc.language.isoenen
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/10.1109/ICSE-Companion52605.2021.00080
dc.subjectVERIFICACION DE SOFTWAREes
dc.subjectJAVAes
dc.subjectESPECIFICACIONESes
dc.subjectALGORITMOSes
dc.titleEvoSpex: An evolutionary algorithm for learning postconditions (artifact)en
dc.typePonencias en Congresoses
dc.typeinfo:eu-repo/semantics/acceptedVersion
dspace.entity.typePonencia en Congreso
itba.description.filiationFil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Molina, Facundo. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Físico-Químicas y Naturales; Argentina.
itba.description.filiationFil: Molina, Facundo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiationFil: Ponzio, Pablo. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Ponzio, Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiationFil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiationFil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Molina_2021_ING_INFORMATICA.pdf
Size:
556.09 KB
Format:
Adobe Portable Document Format
Description:
Ponencia_Molina
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.6 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Presentaciones a Congresos