Resultados de Búsqueda por Autor

1

FLACK: Counterexample-guided fault localization for alloy models

por Zheng, Guolong, Nguyen, Thanh Vu, Gutiérrez Brida, Simón, Regis, Germán, Frías, Marcelo, Aguirre, Nazareno, Bagher, Hamid
Publicado 2022

Aportado por: Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA)

Enlace del recurso

Ponencias en Congresos acceptedVersion
2

Bounded exhaustive search of alloy specification repairs

por Gutiérrez Brida, Simón, Regis, Germán, Zheng, Guolong, Bagher, Hamid, Nguyen, Thanh Vu, Aguirre, Nazareno, Frías, Marcelo
Publicado 2022

Aportado por: Repositorio Institucional Instituto Tecnológico de Buenos Aires (ITBA)

Enlace del recurso

Ponencias en Congresos acceptedVersion