AllSyT: Model-based System Testing Using Alloy Specifications
收藏Mendeley Data2019-10-14 更新2026-04-09 收录
下载链接：
https://data.mendeley.com/datasets/2tyhw8bzrh/2
下载链接
链接失效反馈官方服务：
资源简介：
Implementation artefacts of AllSyT testing tool, and the code for the case study.
创建时间：
2019-10-14
