Jie Zhang, Rui Yang, Zhenyu Chen, Zhihong Zhao, Baowen Xu. Automated EFSM-based test case generation with scatter search. In 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012. pages 76-82, IEEE, 2012. [doi]
Abstract is missing.