Supplemental Data for Generalized Testing for Finite State Specifications
收藏NIAID Data Ecosystem2026-03-13 收录
下载链接：
https://zenodo.org/record/7058164
下载链接
链接失效反馈官方服务：
资源简介：
Additional supplemental data for Generalized Testing for Finite State Specifications.
Files in this dataset:
- `edge-pair-analysis.tgz` contains all data from analysis done in Section III-B (On the bugginess of mined specs).
- `preliminary-study-mined-fsms.tgz` contains all mined FSMs used for analysis in Section III-B (On the bugginess of mined specs).
- `temari-study-data.tgz` contains all Temari experiment data for RQ1 (How generalizable is Temari?).
创建时间：
2022-09-09
