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. White-box validation of quantitative product lines by statistical model checking and process mining. Journal of Systems and Software, 210:111983, April 2024. [doi]

Abstract

Abstract is missing.