Model-Based Testing of Environmental Conformance of Components (Q3525108): Difference between revisions

@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional equivalences for transition systems
@@ Property / cites work: Extensional equivalences for transition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4896913
@@ Property / cites work: Q4896913 / rank @@
+Normal rank
@@ Property / cites work @@
+On-the-fly conformance testing using SPIN
@@ Property / cites work: On-the-fly conformance testing using SPIN / rank @@
+Normal rank