A Formal Approach for Passive Testing of Protocol Data Portions.

David Lee, Dongluo Chen, Ruibing Hao, Raymond E. Miller, Jianping Wu, Xia Yin

Browse the full ICNP paper archive.