Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification. - Yuqin Zhou; Taku Sugihara; Yuji Sato (SOFL+MSVL, 2014)

Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning. - Yuji Sato; Taku Sugihara (SOFL+MSVL, 2015)