Výsledky vyhledávání - "Uva, Marcelo Ariel"

Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving

Autor: Uva, Marcelo Ariel

Publikováno v: Biblioteca Digital (UBA-FCEN)
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN

En muchas situaciones, el software puede recuperarse de fallas en tiempo de ejecución usando workarounds. Un workaround se define como una alternativa de ejecución para un método defectuoso que permite mantener al sistema funcionando luego de la o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3056::bd69123c350b3606f8863a9cfc312745

Zobrazit plný text záznamu

Conference

Index of authors.

Publikováno v: 2013 XXXIX Latin American Computing Conference (CLEI); 2013, p1-4, 4p

Zobrazit plný text záznamu

Automated Workarounds from Java Program Specifications based on SAT Solving

Autor: Marcelo F. Frias, Germán Regis, Marcelo Uva, Nazareno Aguirre, Pablo Ponzio

Publikováno v: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET

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 circumvent the failure. Existing

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a1db3fff484a8820d0bd811ac87f97b
https://link.springer.com/article/10.1007/s10009-018-0503-8

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání