TY  - RPRT
TI  - White-box validation of quantitative product lines by statistical model checking and process mining
AU  - Roberto Casaluce
AU  - Andrea Burattin
AU  - Francesca Chiaromonte
AU  - Alberto Lluch Lafuente
AU  - Andrea Vandin
PY  - 2024
UR  - https://arxiv.org/abs/2401.13019
ID  - 2401.13019
ER  -