Published August 8, 2023
| Version 1.0
Software
Open
Artifact - White-box validation of quantitative product lines by statistical model checking and process mining
Description
This document offers comprehensive instructions for utilizing the scripts employed in the experiments conducted as part of the research paper titled "White-box Validation of Quantitative Product Lines using Statistical Model Checking and Process Mining." These scripts are designed to conduct a diff analysis between procedural models represented in the DOT files and event logs obtained from simulations of the RisQFLan/QFLan models.
Files
artifact_jss.pdf
Files
(41.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b09651a17f4fe9ede167273e913f14b2
|
332.6 kB | Preview Download |
|
md5:d587c2a004a74690de3ef16d98241e4c
|
41.6 MB | Preview Download |