FLACK: Counterexample-Guided Fault Localization for Alloy Models
收藏DataCite Commons2021-01-15 更新2024-07-28 收录
下载链接：
https://figshare.com/articles/dataset/FLACK_Counterexample-Guided_Fault_Localization_for_Alloy_Models/13439894/7
下载链接
链接失效反馈官方服务：
资源简介：
Replication package for FLACK in ICSE21. All usage and instructions are in the README.md.<br>
提供机构：
figshare
创建时间：
2021-01-15
