Grupo Alarcos · Conference paper · 2003

Una técnica de descripción formal para la generación y ejecución automática de casos de prueba...

Mar Jiménez López, Macario Polo Usaola, Mario Piattini Velthuis

IDEAS 2003: VI Workshop Iberoamericano de Ingeniería de Requisitos y Ambientes Software · 2003