Búsqueda Tabú para la generación de casos de prueba de cobertura de bucles. - María Eugenia Díaz Fernández; Raquel Blanco; Javier Tuya (JISBD, 2005)