TY  - THES 
A3  - Cardoso Rodríguez, Rodrigo
AU  - Duitama Castellanos, Jorge Alexander
PY  - 2004
UR  - http://hdl.handle.net/1992/10369
LA  - spa
PB  - Uniandes
TI  - Selección de datos de entrada para pruebas de caja blanca
M3  - masterThesis
KW  - Verificación de programas para computador
KW  - Desarrollo de programas para computador
ER  -