@inproceedings{4f538fff2b5c473d880b33a9a9a80838,
title = "A Formal Monitoring Technique for SIP Conformance Testing",
abstract = "Formal approaches provide many keys to efficiently test the conformance of communicating protocols. Active and passive testing techniques are two main sets of these approaches. Compare to active testing, passive testing techniques are used whenever the system cannot be interrupted, or its interfaces are unavailable to access. Under such conditions, communication traces are extracted from points of observation and compared with the expected conformance requirements formally specified as properties. This paper presents a novel monitoring approach, aiming at formally specifying protocol properties in order to check them on real execution traces. A prototype is developed and experienced based on the algorithms defined in a previous paper. Experiments are presented through a set of IMS/SIP properties and numerous execution traces in order to evaluate and assess our technique. The relevant verdicts and discussions are provided at the end.",
keywords = "Formal Methods, IMS/SIP, Monitoring, Passive Testing, Protocols",
author = "Xiaoping Che and Felipe Lalanne and Stephane Maag",
year = "2013",
month = jan,
day = "1",
doi = "10.1007/978-3-642-45422-6\_6",
language = "English",
isbn = "9783642454219",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "79--94",
booktitle = "Evaluation of Novel Approaches to Software Engineering - 7th International Conference, ENASE 2012, Revised Selected Papers",
note = "7th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2012 ; Conference date: 29-06-2012 Through 30-06-2012",
}