Abstract:We propose a new Statistical Model Checking (SMC) method to
identify bugs in variability-intensive systems (VIS). The
state-space of such systems is exponential in the number of
variants, which makes the verification problem harder than for
classical systems. To reduce verification time, we propose to
combine SMC with featured transition systems (FTS)—a
model that represents jointly the state spaces of all variants. Our
new methods allow the sampling of executions from one or more
(potentially all) variants. W… Show more
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.