Integration testing of protocol implementations using symbolic distributed execution.

Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukic, Klaus Wehrle

Browse the full ICNP paper archive.