Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods

B. K. Aichernig, B. Peischl, M. Weiglhofer, and F. Wotawa

Abstract:

Reference: B. K. Aichernig, B. Peischl, M. Weiglhofer, and F. Wotawa. Protocol conformance testing a sip registrar: an industrial application of formal methods. In SEFM '07: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, pages 215-226, Washington, DC, USA, 2007. IEEE Computer Society.