Xiaoping Che, Stéphane Maag, Jorge López, Ana R. Cavalli. Testing Network Protocols: formally, at runtime and online. In Marek Reformat, editor, The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013. pages 90-93, Knowledge Systems Institute Graduate School, 2014.
Abstract is missing.