内蒙古大学孙涛计算机学院,孙涛（博士）

[1]孙涛,叶新铭. A Model Reduction Method for Parallel Software Testing. Journal of Applied Mathematics (0.834), Vol. 2013, ID 595897.(SCIE检索，影响因子0.834)[2]孙涛,郭欣,张婷. Testing Sequence Generation Method Based on Unrelated Behaviors Serializing. The 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications (IEEE TrustCom-18). (CCF推荐C类会议)

[3]孙涛,张琳婧,马慧萍. An Automatic Generation Method for Path Expressions of CPN Model Focus on Tested Behaviors. Proceedings of the 2018 IEEE 22nd International Conference on Computer Supported Cooperative Work in Design (IEEE CSCWD 2018). (CCF推荐C类会议)

[4]孙涛,张玮,郭欣,万晓云. Research on CPN Model Reduction Focus On Parallel Tested Behaviors. The 15th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA 2017), pp. 827-833, Guangzhou, China, December 12-15, 2017. (CCF推荐C类会议).

[5]孙涛,叶新铭,刘靖. A Test  Generation Method Based on Model Reduction for Parallel Software. The  Thirteenth International Conference on Parallel and Distributed  Computing, Applications and Technologies(PDCAT), 2012. (CCF推荐C类会议)

[6]孙涛,叶新铭,刘靖,杨蒙.一种基于CPN的协议测试序列生成方法.解放军理工大学学报, Vol.13(2), pp. 165-170, 2012. (EI检索)

[7] Tao Sun, Xinming Ye, Hongji Yang, Jing Liu.  Parallel Software Reuse Driven CPN Model Reduction and Analysis  Approach. IEEE 36th International Conference on Computer Soft-ware and  Applications Workshops(Compsac), 2012. (CCF推荐B类会议Workshop)

[8]孙涛,叶新铭.一种针对CP-nets并发模型的验证方法[J].计算机科学,2014,41(7):135-139,161.(CSCD期刊)[9]孙涛,叶新铭.针对软件中2路并发行为完全覆盖的测试方法[J].重庆邮电大学学报(自然科学版),2014,26(6):727-736.(CSCD期刊)[10]孙涛,叶新铭,刘靖,杨蒙.  Formal Modeling and Analysis of HMIPv6 using Colored Petri Nets.  International Conference on Communications and Mobile Compu-ting (CMC),  2010. (EI检索)

[11]孙涛,叶新铭,刘靖. A test  sequence selection method for parallel software systems. The Fourth  International Symposium on Parallel Architectures, Algorithms and  Pro-gramming (PAAP), 2011. (EI检索)

[12]孙涛,张琳婧,马慧萍. An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. The 10th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage Workshops (SpaCCS 2017 Workshops), LNCS 10658, pp. 271-285, Guangzhou, China, December 12-15, 2017. (EI检索)

[13]张玮,孙涛(通讯作者),万晓云.针对并行软件待测行为测试的模型化简方法[J].计算机应用, 2017, 37(5):1276-1281.(CSCD期刊)

[14]李华,孙涛,王显荣,邢熠等.基于CPN对系统的并发行为进行测试.计算机科学, 2016, 43(1):218-225. (CSCD期刊)

[15]孙涛,李华,叶新铭. TTCN协议测试执行系统驱动器的协议相关性研究[J].内蒙古大学学报(自然科学版), 2007, 38(6):702-706.