Article (Scientific journals)Statistical model checking for variability-intensive systems: applications to bug detection and minimization
Cordy, Maxime; Lazreg, Sami; Papadakis, Mike et al.
2021 • In Formal Aspects of Computing, 33 (6), p. 1147--1172
Peer Reviewed verified by ORBi
Scopus citations®
without self-citations
0