Bounded exhaustive search of alloy specification repairs
Document
Acceso abierto
Document
RI ITBA
"The rising popularity of declarative languages and the hard to debug nature thereof have motivated the need for applicable, automated repair techniques for such languages. However, despite significant advances in the pr...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access