Yuqin Zhou, Taku Sugihara, Yuji Sato. Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification. In Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Volume 8979 of Lecture Notes in Computer Science, pages 17-31, Springer, 2014. [doi]