TY  - GEN
AU  - Sáez Bertrand, Jaime
AU  - Rodríguez Acero, Fernando
A4  - Albert Albiol, Elvira
PY  - 2010
UR  - https://hdl.handle.net/20.500.14352/46048
AB  - Este trabajo está muy ligado al proyecto Pet. El objetivo de este programa es la generación automática de casos de prueba partiendo de un byte code de java (JBC). El sistema recibe como entrada un JBC y devuelve un conjunto de casos de prueba....
LA  - spa
KW  - Junit
KW  - Pet
KW  - Testing unitario
KW  - Generador automático
KW  - Java
KW  - Reflection
KW  - Prolog
TI  - Generador automático de casos de prueba unitarios para Junit
TY  - coursework
ER  -