FLACK: Counterexample-Guided Fault Localization for Alloy Models
收藏DataCite Commons2020-12-19 更新2024-07-28 收录
下载链接：
https://figshare.com/articles/dataset/FLACK_Counterexample-Guided_Fault_Localization_for_Alloy_Models/13439894/1
下载链接
链接失效反馈官方服务：
资源简介：
Replication package for FLACK in ICSE21<br>Each component in /flack/ directory:<br>/benchmark/alloy/ : Alloy models from AlloyFL/benchmark/large/ : large real-world Alloy models/src/alloy/ : modified Alloy by adding Pardinus to KodKod/src/flack/ : source code of FLACK/libs/ : sat solvers libraries<br>Running instruction:(1) Docker 1. docker build -t flack . 2. docker run -it flack 3. java -cp ./libs/*:./target/flack-1.0-with-dependencies.jar -f benchmark/alloy/addr1.als -m 5(2) Build from source 1. Install Java8 and Maven 2. mvn clean package 3. java -cp ./libs/*:./target/flack-1.0-with-dependencies.jar -f benchmark/alloy/addr1.als -m 5 <br>
提供机构：
figshare
创建时间：
2020-12-19
