Now showing items 1-1 of 1

    • Comprobación probabilística de resultados de programas 

      Díaz Frias, Juan Francisco; Maca, Mauricio; Uzuriaga, Vivian (2011-10-13)
      Este artículo presenta una visión global del tema comprobación probabilística de resultados de programas, resaltando la necesidad introducir la noción de comprobación en el contexto de desarrollo y depuración de software ...