Reparación de programas aplicando templates: generando workarounds permanentes a través de SAT
La aplicación de procesos modernos y sistemáticos en el desarrollo de sistemas informáticos con estrictos estándares de calidad no ha podido evitar la presencia de defectos en el software. A pesar de extensas test-suites, un alto porcentaje de sistemas son implantados con fallas. El desarrollo de té...
Guardado en:
| Autores principales: | Uva, Marcelo, Ponzio, Pablo Daniel, Aguirre, Nazareno Matías |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2019
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/91106 |
| Aporte de: |
Ejemplares similares
-
Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving
por: Uva, Marcelo Ariel
Publicado: (2022) -
Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving
por: Uva, Marcelo Ariel
Publicado: (21 d) -
Cómputo automático de workarounds transitorios a partir de especificaciones de programas usando SAT solving
por: Uva, Marcelo Ariel
Publicado: (2022) -
Hacia la construcción automática de workarounds para reparar programas
por: Uva, Marcelo, et al.
Publicado: (2012) -
Reparación eficiente de estructuras de datos en tiempo de ejecución basada en SAT
por: Uva, Marcelo, et al.
Publicado: (2016)