ponencia en congreso.page.titleprefix From operational to declarative specifications using a genetic algorithm
| dc.contributor.author | Molina, Facundo | |
| dc.contributor.author | Degiovanni, Renzo | |
| dc.contributor.author | Regis, Germán | |
| dc.contributor.author | Castro, Pablo | |
| dc.contributor.author | Aguirre, Nazareno | |
| dc.contributor.author | Frías, Marcelo | |
| dc.date.accessioned | 2019-06-21T17:52:09Z | |
| dc.date.available | 2019-06-21T17:52:09Z | |
| dc.date.issued | 2018-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.isbn | 978-1450-35-741-8 | |
| dc.identifier.issn | 0270-5257 | |
| dc.identifier.uri | http://ri.itba.edu.ar/handle/123456789/1627 | |
| dc.language.iso | en | en |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/10.1145/3194718.3194725 | |
| dc.subject | ALGORITMOS GENETICOS | es |
| dc.subject | ESTRUCTURA DE DATOS | es |
| dc.subject | INVARIANCIA | es |
| dc.title | From operational to declarative specifications using a genetic algorithm | en |
| dc.type | Ponencias en Congresos | es |
| dc.type | info:eu-repo/semantics/acceptedVersion | |
| dspace.entity.type | Ponencia en Congreso | |
| itba.description.filiation | Fil: Molina, Facundo. Universidad Nacional de Río Cuarto; Argentina. | |
| itba.description.filiation | Fil: Degiovanni, Renzo. Universidad Nacional de Río Cuarto; Argentina. | |
| itba.description.filiation | Fil: Regis, Germán. Universidad Nacional de Río Cuarto; Argentina. | |
| itba.description.filiation | Fil: Castro, Pablo. Universidad Nacional de Río de Cuarto; Argentina. | |
| itba.description.filiation | Fil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto; Argentina. | |
| itba.description.filiation | Fil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina. |