Formally transforming user-model testing problems into implementer-model testing problems and viceversa (Q2270684): Difference between revisions

@@ Property / cites work @@
+A passive testing approach based on invariants: application to the WAP
+Normal rank
@@ Property / cites work @@
+Q4532083
@@ Property / cites work: Q4532083 / rank @@
+Normal rank
@@ Property / cites work @@
+Conformance tests for real-time systems with timed automata specifications
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Testing Programs with the Aid of a Compiler
@@ Property / cites work: Testing Programs with the Aid of a Compiler / rank @@
+Normal rank
@@ Property / cites work @@
+Customized Testing for Probabilistic Systems
@@ Property / cites work: Customized Testing for Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4532084
@@ Property / cites work: Q4532084 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathcal {HOTL}\): Hypotheses and observations testing logic
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank