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 -