Crossmark

Statistical model checking for variability-intensive systems: applications to bug detection and minimization

Published Print: 2021-12

Authors

Cordy, Maxime https://orcid.org/0000-0001-8312-1358
Lazreg, Sami

Papadakis, Mike

Legay, Axel
Funding

Funding for this research was provided by:

Fonds National de la Recherche Luxembourg (C19/IS/13566661/BEEHIVE/Cordy)
License Information

Text and Data Mining valid from 2021-12-01

Version of Record valid from 2021-12-15
More Information

Article History

Received: 1 January 2021

Revised: 31 May 2021

Accepted: 16 July 2021

First Online: 15 December 2021

Document is current