Eugenia Díaz Javier Tuya Raquel Blanco José Javier Dolado A tabu search algorithm for structural software testing. 45-45 2009 JISBD conf/jisbd/2009 db/conf/jisbd/jisbd2009.html#DiazTBD09