The synchronization problem in protocol testing and its complexity
Information Processing Letters
Test generation with respect to distributed interfaces
Computer Standards & Interfaces
Synchronizable test sequences of finite state machines
Computer Networks and ISDN Systems
A Temporal Approach for Testing Distributed Systems
IEEE Transactions on Software Engineering
Testing in the distributed test architecture
Formal methods and testing
On modelling user observations in the UTP
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Performance testing of data delivery techniques for AJAX applications
Journal of Web Engineering
Conditions for avoiding controllability problems in distributed testing
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
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
Detecting problematic message sequences and frequencies in distributed systems
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
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.89 |