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
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A survey of communication protocol testing
Journal of Systems and Software
IEEE Transactions on Software Engineering
A Method for Testing the Conformance of Real Time Systems
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A framework for conformance testing of systems communicating through rendezvous
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
The UniTesK Approach to Designing Test Suites
Programming and Computing Software
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case
Programming and Computing Software
Optimal strategies for testing nondeterministic systems
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting
IEEE Transactions on Computers
Formalization of test experiments
Programming and Computing Software
Complete open-state testing of limitedly nondeterministic systems
Programming and Computing Software
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
| Hi-index | 0.00 |