An improved protocol test generation procedure based on UIOS
SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A technique to generate feasible tests for communications systems with multiple timers
IEEE/ACM Transactions on Networking (TON)
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |