Deepinder P. Sidhu;Anthony Chung;Chun-Shi Chang
-;-;-
On the generation of minimal-length conformance tests for communication protocols
IEEE/ACM Transactions on Networking (TON)