Akademische Ressourcen durchsuchen

Durchsuchen Sie institutionelle Kataloge, elektronische Ressourcen, Open-Access-Zeitschriften, verfügbare Sammlungen und akademische Zugangslinks.

Was NODOVOX Discovery zusammenführt: Institutionelle Kataloge, elektronische Ressourcen, Open-Access-Zeitschriften, verfügbare Sammlungen und akademische Zugangslinks.

Ergebnisse

4 Ergebnisse gefunden.

Ressourcentypen: Gedrucktes Buch E-Book Artikel Zeitschrift Abschlussarbeit Kapitel
Akademische Suche
An analysis of the suitability of test-based patch acceptance criteria
Text / Ressource
Text / Ressource
Zemín, Luciano et al · RI ITBA · 2019
"Program repair techniques attempt to fix programs by looking for patches within a search space of fix candidates. These techniques require a specification of the program to be repaired, used as an acceptance criterion f...
Idioma Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Bounded exhaustive search of alloy specification repairs
Text / Ressource
Text / Ressource
Gutiérrez Brida, Simón et al · RI ITBA · 2022 · ISSN 6654-1219
"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 Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Automated workarounds from Java Program specifications based on SAT solving
Text / Ressource
Text / Ressource
Uva, Marcelo et al · RI ITBA · 2020 · ISSN 1433-2787
"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 Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
Automated workarounds from Java program specifications based on SAT solving
Artikel
Artikel
Uva, Marcelo et al · RI ITBA · 2019 · ISSN 1433-2779
"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 c...
Idioma Inglés
Acceso abiertoRuta libre sin proxy. Acceso recomendado cuando no hay suscripción activa.
Open Access
NODITO
Asistencia de búsqueda académica
Te ayudo a buscar, encontrar y acceder a recursos académicos.
Consultar con NODITO
¿Qué necesitás hacer?
Consultas rápidas
NODITO Asistencia contextual NDX