Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukic, Klaus Wehrle. Integration testing of protocol implementations using symbolic distributed execution. In 20th IEEE International Conference on Network Protocols, ICNP 2012, Austin, TX, USA, October 30 - Nov. 2, 2012. pages 1-6, IEEE, 2012. [doi]
Abstract is missing.