Longhui Chang, Huaikou Miao, Gongzheng Lu. An Implementation Framework for Optimizing Test Case Generation Using Model Checking. 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 3-16, Springer, 2014. [doi]
Abstract is missing.