Trace Analysis for Conformance and Arbitration Testing
IEEE Transactions on Software Engineering
Software fault isolation in wide area networks
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Development of Veda, a Prototyping Tool for Distributed Algorithms
IEEE Transactions on Software Engineering
A survey of communication protocol testing
Journal of Systems and Software
Observation Inaccuracy in Conformance Testing with Multiple Testers
ASSET '98 Proceedings of the 1998 IEEE Workshop on Application - Specific Software Engineering and Technology
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
Conformance relations for distributed testing based on CSP
ICTSS'11 Proceedings of the 23rd IFIP WG 6.1 international conference on Testing software and systems
Reaching and Distinguishing States of Distributed Systems
SIAM Journal on Computing
Minimizing coordination channels in distributed testing
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Testing input/output partial order automata
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Hi-index | 0.00 |