- 教授
- 博士生导师
- 硕士生导师
- 入职时间：2022-11-10
- 学历：硕博连读
- 性别：男
- 学位：博士
- 在职信息：在职
- 所属院系：网络空间安全学院
- 学科：网络空间安全
- 傅滢，王海军，邬萌. 智能合约的安全检测方法及装置. 发明专利（ZL2021107492825). 授权公告日：2022年5月17日
- 王海军，邬萌，傅滢. 一种区块链虚拟机的测试方法和系统. 发明专利 (ZL2021100876078). 授权公告日：2021年10月26日.
- 王海军，邬萌，蒋海滔. 调用智能合约的方法和装置. 发明专利 (ZL2021101963001). 授权公告日：2022年01月11日.
- 王海军，邬萌. 确定业务变更关联的程序语句的方法和装置. 发明专利 (ZL2020115155354). 授权公告日：2021年03月26日.
- 王海军，邬萌，傅滢. 一种区块链智能合约的测试方法和系统. 发明专利 (ZL2020115524363). 授权公告日：2021年07月06日.
- 邬萌，王海军. 一种智能合约资损测试方法与系统. 发明专利 (ZL2021100867628). 授权公告日：2021年09月24日.
- 邬萌，王海军. 生成智能合约测试案例的方法和装置. 发明专利（ZL2020110541521）. 授权公告日：2021年01月15日.
- 邬萌，王海军. 智能合约的验证方法和装置. 发明专利（ZL2020114353803）. 授权公告日：2021年02月26日.
- 邬萌，王海军. 生成智能合约测试案例的方法和装置. 发明专利 (ZL2020112830348）. 授权公告日：2021年02月26日.
- Xiaohong Guan, Qinghua Zheng, Ting Liu, Haijun Wang. The Method For Test Case Reduction Based on Program Behavior Slices (美国专利：US009355019B2). 授权公告日：2016年5月31日
- 管晓宏, 郑庆华, 刘烃, 王海军, 俞乐晨, 黄小龙. 基于程序行为切片的测试案例约减方法. 发明专利 (ZL2013104791958). 授权公告日：2016年04月27日
- 郑庆华, 刘烃, 王海军, 俞乐晨, 黄小龙. 基于程序控制依赖引导的回归测试案例生成方法. 发明专利 (ZL2013103623033). 授权公告日：2016年08月10日
- 刘烃, 陈泽华, 王海军, 郑庆华, 管晓宏, 朱海萍.基于切片模型的程序回归错误定位方法. 发明专利 (ZL2016103685550). 授权公告日：2017年06月27日