Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports

Protocol testing: review of methods and relevance for software testing

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis

Observation Inaccuracy in Conformance Testing with Multiple Testers

ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology

Testing Systems Specified as Partial Order Input/Output Automata

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop

Implementation Relations for the Distributed Test Architecture

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop

Controllable Test Cases for the Distributed Test Architecture

ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis

Overcoming controllability problems with fewest channels between testers

Computer Networks: The International Journal of Computer and Telecommunications Networking

Using status messages in the distributed test architecture

Information and Software Technology

Canonical finite state machines for distributed systems

Theoretical Computer Science

Testing k-Safe Petri Nets

TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop

Testing in the distributed test architecture

Formal methods and testing

Reaching and Distinguishing States of Distributed Systems

SIAM Journal on Computing

Detecting observability problems in distributed testing

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems

Resolving observability problems in distributed test architectures

FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems

Testing probabilistic distributed systems

FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems

Research note: Synchronizable test sequence for multi-party protocol conformance testing1Part of this paper was presented as `Synchronizable test sequence generation based on the multiplex digraph for multi-party protocol conformance testing', at the 10th International Conference on Information Networking, Kyang-Ju, Korea, 1996.1

Computer Communications