Current position: Zhilei Ren >> Scientific Research >> Research Projects

单元测试自动生成技术

Hits:

Leading Scientist:任志磊

Supported by:企事业单位委托科技项目

Status:在研

Supported by:武汉大学

Nature of Project:横向

Date of Project Approval:2023-03-01

Scheduled completion time:2024-02-28

Date of Project Initiation:2023-03-01

Date of Project Completion:2024-02-28

Pre One:面向形式化验证的可信编译和程序分析

Next One:基于动态追踪的缺陷分析与定位