Timed implementation relations for the distributed test architecture (Q2251156): Difference between revisions

@@ Property / author @@
-Robert M. Hierons
@@ Property / author: Robert M. Hierons / rank @@
-Normal rank
@@ Property / author @@
-Manuel A. Nunez
@@ Property / author: Manuel A. Nunez / rank @@
-Normal rank
@@ Property / author @@
+Robert M. Hierons
@@ Property / author: Robert M. Hierons / rank @@
+Normal rank
@@ Property / author @@
+Manuel A. Nunez
@@ Property / author: Manuel A. Nunez / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3023312349
@@ Property / OpenAlex ID: W3023312349 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Software Testing
@@ Property / cites work: Introduction to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+A Fresh Look at Testing for Asynchronous Communication
+Normal rank
@@ Property / cites work @@
+Checking sequences for distributed test architectures
+Normal rank
@@ Property / cites work @@
+The synchronization problem in protocol testing and its complexity
+Normal rank
@@ Property / cites work @@
+A limitation of vector timestamps for reconstructing distributed computations
+Normal rank
@@ Property / cites work @@
+Testing can be formal, too
@@ Property / cites work: Testing can be formal, too / rank @@
+Normal rank
@@ Property / cites work @@
+A Method for the Design of Fault Detection Experiments
+Normal rank
@@ Property / cites work @@
+Controllable Test Cases for the Distributed Test Architecture
+Normal rank
@@ Property / cites work @@
+Implementation relations and test generation for systems with distributed interfaces
+Normal rank
@@ Property / cites work @@
+Using Time to Add Order to Distributed Testing
@@ Property / cites work: Using Time to Add Order to Distributed Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination algorithm for distributed testing
@@ Property / cites work: Coordination algorithm for distributed testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942008
@@ Property / cites work: Q4942008 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942022
@@ Property / cites work: Q4942022 / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Synchronizing clocks in the presence of faults
@@ Property / cites work: Synchronizing clocks in the presence of faults / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal and efficient clock synchronization under drifting clocks
+Normal rank
@@ Property / cites work @@
+Constructing checking sequences for distributed testing
+Normal rank