Coverage-Based Testing with Symbolic Transition Systems: Code and Case Study ...
收藏B2FIND2026-04-29 收录
下载链接：
https://b2find.eudat.eu/dataset/4bdb085f-bcad-5746-8611-e4301a989464
下载链接
链接失效反馈官方服务：
资源简介：
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...
