An Implementation Framework for Optimizing Test Case Generation Using Model Checking. - Longhui Chang; Huaikou Miao; Gongzheng Lu (SOFL+MSVL, 2014)

基于历史信息的自适应测试用例优先级技术 (Self-adaptive Test Case Prioritization Based on History Information). - Longhui Chang; Huaikou Miao; Lei Xiao (计算机科学, 2015)