ProfessorPeterPietzuch

Faculty of Engineering, Department of Computing

Professor of Distributed Systems

Contact

+44 (0)20 7594 8314prp Website

Location

442Huxley BuildingSouth Kensington Campus

Summary

Publications

Citation

BibTex format

@article{Cadar:2014:10.1109/TSE.2014.2323977,
author = {Cadar, C and Song, J and Cadar, C and Pietzuch, P},
doi = {10.1109/TSE.2014.2323977},
journal = {IEEE Transactions on Software Engineering},
pages = {695--709},
title = {SymbexNet: Testing network protocol implementations with symbolic execution and rule-based specifications},
url = {http://dx.doi.org/10.1109/TSE.2014.2323977},
volume = {40},
year = {2014}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AU  - Cadar,C
AU  - Song,J
AU  - Cadar,C
AU  - Pietzuch,P
DO  - 10.1109/TSE.2014.2323977
EP  - 709
PY  - 2014///
SN  - 0098-5589
SP  - 695
TI  - SymbexNet: Testing network protocol implementations with symbolic execution and rule-based specifications
T2  - IEEE Transactions on Software Engineering
UR  - http://dx.doi.org/10.1109/TSE.2014.2323977
UR  - http://hdl.handle.net/10044/1/23356
VL  - 40
ER  -

Download