RT bachelor thesis T1 Generador de casos de prueba aleatorio basado en especificaciones abstractas A1 Pérez Montero, Miguel Ángel A2 Lenguajes y Sistemas Informáticos K1 java K1 maven K1 junit K1 bpel K1 bpelunit K1 hudson K1 jenkins K1 sonar YR 2012 FD 2012-01-26T00:00:00Z LK http://hdl.handle.net/10498/14661 UL http://hdl.handle.net/10498/14661 LA spa DS Repositorio Institucional de la Universidad de Cádiz RD 10-nov-2026