Bo Yu, Yemei Qin: Generating test case for algebraic specification based on Tabu search and genetic algorithm. Clust. Comput. 20(1): 277-289 (2017)