Integration Testing of Protocol Implementations using Symbolic Distributed Execution

Raimondas Sasnauskas, Philipp Kaiser, Russ Lucas Jukić, Klaus Wehrle
October 2012
PDF Cite DOI
Type
Conference paper
Publication
The 2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012)
Dr. Raimondas Sasnauskas
Dr. Raimondas Sasnauskas
Placeholder Avatar
Philipp Kaiser
Placeholder Avatar
Russ Lucas Jukić
Klaus Wehrle
Klaus Wehrle
Head of Group