Overview

Este proyecto contiene las fuentes LaTeX de la memoria de PFC de "Generador de casos de prueba aleatorio basado en especificaciones abstractas", de Miguel Ángel Pérez Montero. El código fuente del programa se mantiene bajo el proyecto WS-BPEL Testing Tools.