White-box validation of quantitative product lines by statistical model checking and process mining

Roberto Casaluce, Andrea Burattin, Francesca Chiaromonte, Alberto Lluch-Lafuente, Andrea Vandin

Abstract: Highlights•Effective, scalable, multi-domain methodology for the analysis of product lines.•Integration of statistical model checking and process mining•Multi-domain: applied to product line and security domains.•From black-box model validation to white-box novel validation and enhancement.•Mining of product line models.