一、部分论文

[1] Ting Shu, Yechao Huang, Zuohua Ding, et al. Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search. Information and Software Technology, 2021, 135: 106557.

[2] Ting Shu, Tiantian Ye, Zuohua Ding, et al. Fault localization based on  statement frequency. Information Sciences, 2016, 360: 43-56.

[3] Ting Shu, Zuohua Ding, Chen Meihua, et al. A heuristic transition executability analysis method for generating EFSM-specified protocol test sequences. Information Sciences, 2016, 370: 63-78.

[4] 舒挺, 黄明献, 丁佐华, 等. 基于条件概率模型的缺陷定位方法. 软件学报, 2018, 29(6): 1756-1769.

[5] 舒挺，刘良桂，徐伟强，李文书.自适应EFSM可执行测试序列生成.计算机研究与发展. 2012, 49(6): 1211-1219.

[6] 舒挺，魏仰苏，吴柏青，孟兆航. EFSM 可执行状态验证序列的生成. 北京邮电大学学报. 2007, 30(2): 84-88.

[7] 舒挺，孙守迁，王海宁，徐伟强，李文书. 启发式探索的协议测试序列生成. 北京邮电大学学报. 2009, 32(6): 120-124.

[8] 舒挺，孙守迁，王海宁，徐伟强. ESIS序列自适应生成算法. 浙江大学学报(工学版). 2010, 44(11): 2183-2187.

[9] Ting Shu, Lei Wang, Jinsong Xia. Fault localization using a failed execution slice//2017 International Conference on Software Analysis, Testing and Evolution (SATE 2017). IEEE, 2017: 37-44.

[10] Baoyi Pan, Ting Shu, Jinsong Xia, et al. A Fault Localization Method Based on Dynamic Failed Execution Blocks//International Workshop on Structured Object-Oriented Formal Language and Method. Springer, Cham, 2019: 315-327.

二、项目及课题

1、拓扑强动态条件下无线自组织网络的一致性测试方法研究（61101111） 国家自然科学基金青年项目

2、节能建筑智能集控平台的研发 横向课题

3、服装企划系统的研究 横向课题

4、深海探测数据综合处理系统 横向课题

5、通信协议一致性测试集自动生成软件  省科技厅 省部级面上重点

6、基于重用驱动SDL模式的通信协议开发技术研究 浙江省教育厅科研项目 

     7、基于认知模型的人脸表情识别研究 浙江省自然科学基金