Now showing items 1-4 of 4

    • Generación automática de casos de test para criterios de código avanzados 

      Homovc, Federico; Pintos, Esteban; De Santi, Matías (2014)
      "El testing de software es una de las tecnologías más utilizadas en el análisis y valida-ción de sistemas. El mismo consiste en ejecutar el sistema desarrollado sobre inputs particulares, y verificar que los outputs ...
    • Relif: a relation algebra specification tool 

      Lynch, Marcelo María (2019-12-19)
      "Relation algebras are algebras arising from the study of binary relations. They form a part of the eld of algebraic logic, and have applications in proof theory, modal logic, and computer science. An interesting problem ...
    • Reparación de programas distribuida: Stryker distribuido 

      Gilly, Francis Iván; Bejarano González, Fernando (2017)
      "La herramienta "Stryker" implementa una técnica para reparar programas equipados con contratos. Esta técnica combina análisis dinámico (en tiempo de ejecución) con análisis estático para verificar las reparaciones candidatas ...
    • Verificación utilizando Dynamite de la corrección del modelo Chord 

      Dantur, Juan Pablo; Ocamica, Santiago (2019-08-12)
      "La herramienta Dynamite permite traducir modelos formales realizados en el lenguaje de modelado Alloy en teorías del demostrador semiautomático PVS, pero no fue probado con modelos tan complejos como un modelo completo ...