Uso de métodos estadísticos para validación de software (2007)
Magíster en Ingeniería de Sistemas y Computación