Statistical model checking for variability-intensive systems: applications to bug detection and minimization
Crossref DOI link: https://doi.org/10.1007/s00165-021-00563-2
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Cordy, Maxime http://orcid.org/0000-0001-8312-1358
Lazreg, Sami
Papadakis, Mike
Legay, Axel
Funding for this research was provided by:
Fonds National de la Recherche Luxembourg (C19/IS/13566661/BEEHIVE/Cordy)
Text and Data Mining valid from 2021-12-01
Version of Record valid from 2021-12-15
Article History
Received: 1 January 2021
Revised: 31 May 2021
Accepted: 16 July 2021
First Online: 15 December 2021