TY - GEN AU - González Escudero, Álvaro AU - Álvarez Ramírez, Daniel AU - Acosta Berrio, Laura A4 - Gómez-Zamalloa Gil, Miguel PY - 2012 UR - https://hdl.handle.net/20.500.14352/46161 AB - JPet lleva desarrollándose varios años a fin de convertirlo en una herramienta competitiva en el campo del software testing. Se encarga de obtener casos de prueba (test-cases) de código java que garanticen el recubrimiento óptimo del mismo. En su... LA - spa KW - JPet KW - Software Testing KW - Java KW - Desarrollo de software TI - jPET 2.0: un generador automático de casos de prueba sobre programas Java TY - coursework ER -