Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (Q470035): Difference between revisions

@@ 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-011-0206-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2052240326
@@ Property / OpenAlex ID: W2052240326 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathcal {HOTL}\): Hypotheses and observations testing logic
+Normal rank
@@ Property / cites work @@
+Machine Learning Applications in Software Engineering
+Normal rank
@@ Property / cites work @@
+A Method for the Design of Fault Detection Experiments
+Normal rank
@@ Property / cites work @@
+Q4532083
@@ Property / cites work: Q4532083 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Q3844775
@@ Property / cites work: Q3844775 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4451881
@@ Property / cites work: Q4451881 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5480099
@@ Property / cites work: Q5480099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530808
@@ Property / cites work: Q4530808 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing can be formal, too
@@ Property / cites work: Testing can be formal, too / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472244
@@ Property / cites work: Q4472244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079017
@@ Property / cites work: Q4079017 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Q5485948
@@ Property / cites work: Q5485948 / rank @@
+Normal rank
@@ Property / cites work @@
+Branch-and-Bound Methods: A Survey
@@ Property / cites work: Branch-and-Bound Methods: A Survey / rank @@
+Normal rank
@@ Property / cites work @@
+Testing finite-state machines: state identification and verification
+Normal rank
@@ Property / cites work @@
+Crossover can be constructive when computing unique input-output sequences
+Normal rank
@@ Property / cites work @@
+Equation of State Calculations by Fast Computing Machines
+Normal rank
@@ Property / cites work @@
+Q4532084
@@ Property / cites work: Q4532084 / rank @@
+Normal rank
@@ Property / cites work @@
+A General Testability Theory
@@ Property / cites work: A General Testability Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Using River Formation Dynamics to Design Heuristic Algorithms
+Normal rank
@@ Property / cites work @@
+A Formal Approach to Heuristically Test Restorable Systems
+Normal rank
@@ Property / cites work @@
+Graph Algorithms for Conformance Testing Using the Rural Chinese Postman Tour
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:470035