Now showing items 1-2 of 2

    • Automated workarounds from Java program specifications based on SAT solving 

      Uva, Marcelo; Ponzio, Pablo; Regis, Germán; Aguirre, Nazareno; Frías, Marcelo (2018-11)
      "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 ...
    • Genetic Working Space 

      Ducret, Argentino; Gutiérrez, Ignacio (2017)
      "Genetic working space es una solución con algoritmos genéticos al problema de elegir una distribución de asientos para un conjunto de empleados, sujeto a restricciones. Para su implementación​ ​se​ ​utilizó​ ​un​ ​motor​ ...