Automated workarounds from Java Program specifications based on SAT solving
Texto / recurso
Acceso abierto
Texto / recurso
RI ITBA
"The failures that bugs in software lead to can sometimes be bypassed by the so called workarounds: when a (faulty) routine fails, alternative routines that the system offers can be used in place of the
failing one, to ...
Idioma en
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access