Now showing items 1-1 of 1

    • 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 ...