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>

提供机构：

创建时间：

2021-01-15

© 2023-2026 上海数据发展科技有限责任公司版权所有

沪ICP备17003045号-15 沪公网安备31010402336585号

二维码

社区交流群

二维码

科研交流群

商业服务