EvoSpex: An evolutionary algorithm for learning postconditions (artifact)

Molina, Facundo; Ponzio, Pablo; Aguirre, Nazareno; Frías, Marcelo

Ponencia en Congreso:
EvoSpex: An evolutionary algorithm for learning postconditions (artifact)

dc.contributor.author	Molina, Facundo
dc.contributor.author	Ponzio, Pablo
dc.contributor.author	Aguirre, Nazareno
dc.contributor.author	Frías, Marcelo
dc.date.accessioned	2022-05-31T19:50:44Z
dc.date.available	2022-05-31T19:50:44Z
dc.date.issued	2021
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.uri	http://ri.itba.edu.ar/handle/123456789/3903
dc.language.iso	en	en
dc.relation	info:eu-repo/semantics/altIdentifier/doi/10.1109/ICSE-Companion52605.2021.00080
dc.subject	VERIFICACION DE SOFTWARE	es
dc.subject	JAVA	es
dc.subject	ESPECIFICACIONES	es
dc.subject	ALGORITMOS	es
dc.title	EvoSpex: An evolutionary algorithm for learning postconditions (artifact)	en
dc.type	Ponencias en Congresos	es
dc.type	info:eu-repo/semantics/acceptedVersion
dspace.entity.type	Ponencia en Congreso
itba.description.filiation	Fil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiation	Fil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiation	Fil: Molina, Facundo. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Físico-Químicas y Naturales; Argentina.
itba.description.filiation	Fil: Molina, Facundo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Ponzio, Pablo. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiation	Fil: Ponzio, Pablo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiation	Fil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.