Show simple item record

dc.contributor.authorMolina, Facundo
dc.contributor.authorDegiovanni, Renzo
dc.contributor.authorRegis, Germán
dc.contributor.authorCastro, Pablo
dc.contributor.authorAguirre, Nazareno
dc.contributor.authorFrías, Marcelo
dc.date.accessioned2019-06-21T17:52:09Z
dc.date.available2019-06-21T17:52:09Z
dc.date.issued2018-05
dc.identifier.issn0270-5257
dc.identifier.urihttp://ri.itba.edu.ar/handle/123456789/1627
dc.description.abstract"In specification-based test generation, sometimes having a formal specification is not sufficient, since the specification may be in a different formalism from that required by the generation approach being used. In this paper, we deal with this problem specifically in the context in which, while having a formal specification in the form of an operational invariant written in a sequential programming language, one needs, for test generation, a declarative invariant in a logical formalism. We propose a genetic algorithm that given a catalog of common properties of invariants, such as acyclicity, sortedness and balance, attempts to evolve a conjunction of these that most accurately approximates an original operational specification. We present some details of the algorithm, and an experimental evaluation based on a benchmark of data structures, for which we evolve declarative logical invariants from operational ones."en
dc.language.isoenen
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/10.1145/3194718.3194725
dc.subjectALGORITMOS GENETICOSes
dc.subjectESTRUCTURA DE DATOSes
dc.subjectINVARIANTESes
dc.titleFrom operational to declarative specifications using a genetic algorithmen
dc.typePonencias en Congresoses
dc.typeinfo:eu-repo/semantics/acceptedVersion
itba.description.filiationFil: Molina, Facundo. Universidad Nacional de Río Cuarto; Argentina.es
itba.description.filiationFil: Degiovanni, Renzo. Universidad Nacional de Río Cuarto; Argentina.es
itba.description.filiationFil: Regis, Germán. Universidad Nacional de Río Cuarto; Argentina.es
itba.description.filiationFil: Castro, Pablo. Universidad Nacional de Río de Cuarto; Argentina.es
itba.description.filiationFil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto; Argentina.es
itba.description.filiationFil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.es


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record