Ponencia en Congreso:
From operational to declarative specifications using a genetic algorithm

Vista sencilla de ítem
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.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.identifier.isbn978-1450-35-741-8
dc.identifier.issn0270-5257
dc.identifier.urihttp://ri.itba.edu.ar/handle/123456789/1627
dc.language.isoenen
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/10.1145/3194718.3194725
dc.subjectALGORITMOS GENETICOSes
dc.subjectESTRUCTURA DE DATOSes
dc.subjectINVARIANCIAes
dc.titleFrom operational to declarative specifications using a genetic algorithmen
dc.typePonencias en Congresoses
dc.typeinfo:eu-repo/semantics/acceptedVersion
dspace.entity.typePonencia en Congreso
itba.description.filiationFil: Molina, Facundo. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Degiovanni, Renzo. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Regis, Germán. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Castro, Pablo. Universidad Nacional de Río de Cuarto; Argentina.
itba.description.filiationFil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto; Argentina.
itba.description.filiationFil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.

Archivos

Bloque original
Mostrando 1 - 1 de 1
Miniatura
Nombre:
Ponencia_Molina.pdf
Tamaño:
107.49 KB
Formato:
Adobe Portable Document Format
Descripción:
Ponencia_Molina
Descargar
Bloque de licencias
Mostrando 1 - 1 de 1
No hay miniatura disponible
Nombre:
license.txt
Tamaño:
1.6 KB
Formato:
Item-specific license agreed upon to submission
Descripción:
Descargar

Colecciones

Ingeniería Informática