Telefona gönder: Inferencia inductiva de la especificación : una propuesta para evaluar pruebas de caja negra