Towards Automatic Distribution of Testers for Distributed Conformance Testing

Authors:
Claude Jard;Thierry Jéron;Hakim Kahlouche;César Viho
Affiliations:
-;-;-;-
Venue:
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Year:
1998

A Temporal Approach for Testing Distributed Systems

IEEE Transactions on Software Engineering
Testing Transition Systems: An Annotated Bibliography

MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Testing transition systems: an annotated bibliography

Modeling and verification of parallel processes
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
The complexity of asynchronous model based testing

Theoretical Computer Science

Hi-index	0.00