Coverage-guided test generation for continuous and hybrid systems (Q1039844): Difference between revisions

@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Test Coverage for Continuous and Hybrid Systems
@@ Property / cites work: Test Coverage for Continuous and Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Test Generation and Coverage for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Sampling-based Algorithm for Testing and Validating Robot Controllers
+Normal rank
@@ Property / cites work @@
+Q4953402
@@ Property / cites work: Q4953402 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: From Verification to Falsification
+Normal rank
@@ Property / cites work @@
+An algorithm to compute bounds for the star discrepancy
+Normal rank
@@ Property / cites work @@
+Randomized Halton sequences
@@ Property / cites work: Randomized Halton sequences / rank @@
+Normal rank