FLACK: Counterexample-Guided Fault Localization for Alloy Models

Mostrar todas las versiones(2)

Alloy is a specification language that has been used in a wide range of applications, such as program verification, test case generation, IoT and Android security, etc. Unlike imperative languages, such as C or Java, Alloy is declarative, which describes the logic of a computation without describing...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Zheng, Guolong, Nguyen, ThanhVu, Gutiérrez Brida, Simón, Regis, Germán, Frias, Marcelo F., Aguirre, Nazareno Matías, Bagheri, Hamid
Formato: Objeto de conferencia Resumen
Lenguaje:Inglés
Publicado: 2021
Materias:
Ciencias Informáticas
Alloy
Alloy buggy expressions
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/140263
http://50jaiio.sadio.org.ar/pdfs/asse/ASSE-04.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares