Statistical model checking for variability-intensive systems: applications to bug detection and minimization (Q2065555): Difference between revisions

@@ Property / describes a project that uses @@
+SPL Conqueror
@@ Property / describes a project that uses: SPL Conqueror / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-021-00563-2
+Normal rank
@@ Property / OpenAlex ID @@
+W4200024925
@@ Property / OpenAlex ID: W4200024925 / rank @@
+Normal rank
@@ Property / cites work @@
+The coupon-collector problem revisited — a survey of engineering problems and computational methods
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Data structures for symbolic multi-valued model-checking
+Normal rank
@@ Property / cites work @@
+Faster statistical model checking for unbounded temporal properties
+Normal rank
@@ Property / cites work @@
+Trade-off analysis meets probabilistic model checking
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Modular Modelling of Software Product Lines with Feature Nets
+Normal rank
@@ Property / cites work @@
+Feature integration using a feature construct
@@ Property / cites work: Feature integration using a feature construct / rank @@
+Normal rank
@@ Property / cites work @@
+Some upper and lower bounds on the coupon collector problem
+Normal rank
@@ Property / cites work @@
+Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
+Normal rank
@@ Property / cites work @@
+Statistical Verification of Probabilistic Properties with Unbounded Until
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank