FLACK: Counterexample-Guided Fault Localization for Alloy Models
收藏Figshare2022-02-02 更新2026-04-08 收录
下载链接：
https://figshare.com/articles/dataset/FLACK_Counterexample-Guided_Fault_Localization_for_Alloy_Models/13439894/3
下载链接
链接失效反馈官方服务：
资源简介：
Replication package for FLACK in ICSE21
提供机构：
Zheng, Guolong
创建时间：
2020-12-20
