Zhifeng Lai, S. C. Cheung, Yunfei Jiang. Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. In Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China. pages 410-417, IEEE Computer Society, 2006. [doi]
Abstract is missing.