Automated workarounds from Java Program specifications based on SAT solving
"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. Previous works have exploited this workarounds noti...
Guardado en:
| Autores principales: | Uva, Marcelo, Ponzio, Pablo, Regis, Germán, Aguirre, Nazareno, Frías, Marcelo |
|---|---|
| Formato: | Ponencias en Congresos publishedVersion |
| Lenguaje: | Inglés |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | http://ri.itba.edu.ar/handle/123456789/3066 |
| Aporte de: |
Ejemplares similares
-
Automated workarounds from Java program specifications based on SAT solving
por: Uva, Marcelo, et al.
Publicado: (2019) -
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) -
EvoSpex: An evolutionary algorithm for learning postconditions (artifact)
por: Molina, Facundo, et al.
Publicado: (2022)