Eugenia Díaz Javier Tuya Raquel Blanco José Javier Dolado A tabu search algorithm for structural software testing. 3052-3072 2008 35 Computers & OR 10 http://dx.doi.org/10.1016/j.cor.2007.01.009 db/journals/cor/cor35.html#DiazTBD08