An evolutionary approach to translating operational specifications into declarative specifications

"Various tools for program analysis, including run-time assertion checkers and static analyzers such as verification and test generation tools, require formal specifications of the programs being analyzed. Moreover, many of these tools and techniques require such specifications to be written in...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Molina, Facundo, Cornejo, César, Degiovanni, Renzo, Regis, Germán, Castro, Pablo, Aguirre, Nazareno, Frías, Marcelo
Formato: Artículos de Publicaciones Periódicas acceptedVersion
Lenguaje:Inglés
Publicado: 2020
Materias:
ESTRUCTURA DE DATOS
VERIFICACION DE SOFTWARE
TEORIA DE LA COMPUTACION
ALGORITMOS EVOLUTIVOS
Acceso en línea:http://ri.itba.edu.ar/handle/123456789/1853
Aporte de:
Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA) de Instituto Tecnológico de Buenos Aires (ITBA)

Ejemplares similares

Ejemplares similares