FLACK: Counterexample-guided fault localization for alloy models
Texto / recurso
Acceso abierto
Texto / recurso
RI ITBA
"Fault localization is a practical research topic that helps developers identify code locations that might cause bugs in a program. Most existing fault localization techniques are designed for imperative programs (e.g., ...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access