FLACK: Counterexample-Guided Fault Localization for Alloy Models
收藏DataCite Commons2022-02-02 更新2024-07-28 收录
下载链接：
https://figshare.com/articles/dataset/FLACK_Counterexample-Guided_Fault_Localization_for_Alloy_Models/13439894/2
下载链接
链接失效反馈官方服务：
资源简介：
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-jar-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-jar-with-dependencies.jar -f benchmark/alloy/addr1.als -m 5<br> -f, path to the Alloy model-m, max number of pairs of counterexample and sat instance-a, if the path is a directory, run FLACK on all models in the directory-w, write results to csv<br>
提供机构：
figshare
创建时间：
2020-12-19
