单元测试自动生成技术

Release Time:2023-05-11  Hits:

Leading Scientist: 任志磊

Project Source: 企事业单位委托科技项目

Status: 在研

Supported by: Wuhan University

Nature of Project: 横向

Date of Project Approval: 2023-03-01

Scheduled Completion Time: 2024-02-28

Date of Project Initiation: 2023-03-01

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

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