David Lee Dongluo Chen Ruibing Hao Raymond E. Miller Jianping Wu Xia Yin A Formal Approach for Passive Testing of Protocol Data Portions. 122-131 2002 conf/icnp/2002 ICNP http://computer.org/proceedings/icnp/1856/18560122abs.htm db/conf/icnp/icnp2002.html#LeeCHMWY02