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

DOI10.1007/S00165-021-00563-2OpenAlexW4200024925WikidataQ114231387 ScholiaQ114231387MaRDI QIDQ2065555

Sami Lazreg, Mike Papadakis, Axel Legay, Maxime Cordy

Publication date: 11 January 2022

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-021-00563-2

zbMATH Keywords

verificationsamplingvariabilitysimulationstatistical model checking

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• SPL Conqueror

Cites Work

• Unnamed Item
• Unnamed Item
• Some upper and lower bounds on the coupon collector problem
• Data structures for symbolic multi-valued model-checking
• Faster statistical model checking for unbounded temporal properties
• Statistical Verification of Probabilistic Properties with Unbounded Until
• Modular Modelling of Software Product Lines with Feature Nets
• The coupon-collector problem revisited — a survey of engineering problems and computational methods
• Trade-off analysis meets probabilistic model checking
• Tools and Algorithms for the Construction and Analysis of Systems
• Feature integration using a feature construct
• Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints

This page was built for publication: Statistical model checking for variability-intensive systems: applications to bug detection and minimization