Integration Testing of Protocol Implementations using Symbolic Distributed Execution

Publication
Proceedings of the 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012)
Event
2nd International Workshop on Rigorous Protocol Engineering (WRiPE '12), Oct 30 - Nov 2, 2012, Austin, TX, USA
Placeholder Avatar
Philipp Kaiser
Placeholder Avatar
Russ Lucas Jukić
Klaus Wehrle
Klaus Wehrle
Head of Group