github.com

新手上路 2026-2-5 15:54

主楼

[资源名称]

CATG - 混合单元测试引擎

[资源来源]

github.com

[资源介绍]

GitHub - ksen007/janala2: a concolic testing engine for Java
a concolic testing engine for Java.
- CATG - 混合单元测试引擎。使用形式化方法自动生成单元测试。

[资源合集]

回复点赞举报