Text this: Sobre la automatización de la extracción de programas de pruebas de terminación