A protocol test generation procedure
Computer Networks and ISDN Systems
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
An improved protocol test generation procedure based on UIOS
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Optimal length test sequence generation using distinguishing sequences
IEEE/ACM Transactions on Networking (TON)
On the generation of minimal-length conformance tests for communication protocols
IEEE/ACM Transactions on Networking (TON)
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
Efficient Regression Testing of Multi-Panel Systems
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
FSM-based conformance testing methods: A survey annotated with experimental evaluation
Information and Software Technology
A study on the extended unique input/output sequence
Information Sciences: an International Journal
Verification of initial-state opacity in security applications of discrete event systems
Information Sciences: an International Journal
| Hi-index | 0.01 |