TY - THES A3 - Domínguez Jiménez, Juan José A3 - García Domínguez, Antonio AU - Pérez Montero, Miguel Ángel A4 - Lenguajes y Sistemas Informáticos PY - 2012 UR - http://hdl.handle.net/10498/14661 LA - spa KW - java KW - maven KW - junit KW - bpel KW - bpelunit KW - hudson KW - jenkins KW - sonar TI - Generador de casos de prueba aleatorio basado en especificaciones abstractas M3 - bachelor thesis ER -