Rong Wang, Yuji Sato, Shaoying Liu. Specification-based Test Case Generation with Genetic Algorithm. In IEEE Congress on Evolutionary Computation, CEC 2019, Wellington, New Zealand, June 10-13, 2019. pages 1382-1389, IEEE, 2019. [doi]
Abstract is missing.