Integration testing of protocol implementations using symbolic distributed execution. - Raimondas Sasnauskas; Philipp Kaiser; Russ Lucas Jukic; Klaus Wehrle (ICNP, 2012)