Coverage-Based Testing with Symbolic Transition Systems: Code and Case Study ...
收藏B2FIND2026-03-21 收录
下载链接：
https://b2find.eudat.eu/dataset/08c1ede9-5b22-579f-b426-9e52710101d1
下载链接
链接失效反馈官方服务：
资源简介：
The data set contains source code written in the Maude language for generation of coverage-based tests, and source code written in python, for test case execution. Also, it...
本数据集包含用于生成基于覆盖率的测试用例的Maude语言源代码，以及用于执行测试用例的Python语言源代码。此外，该数据集还...
