@inproceedings{42d8d9f8875e45b7863f2b673615fce0,
title = "Protocol data parts inclusion in a formal passive testing approach",
abstract = "Commonly, two main classes of formal testing techniques are applied to check the conformance of protocols and software: active and passive testing (monitoring) techniques. Because of many industrial constraints such as the necessity to achieve implementation black box testing, passive testing techniques become highly relevant in several cases. Besides, most of the passive testing techniques only consider control portions of exchanged packets and ignores data parts. However, since systems become more complex, testing for data constraints and relations between packets is now essential. In this paper we propose a novel approach for defining data oriented invariants and show how they can be tested in a trace set by using logic programming. Experimental results on SIP protocol traces are provided.",
keywords = "invariants, logic programming, monitoring, passive testing, protocol data",
author = "Felipe Lalanne and Stephane Maag",
year = "2011",
month = jan,
day = "1",
doi = "10.1109/WAINA.2011.21",
language = "English",
isbn = "9780769543383",
series = "Proceedings - 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011",
publisher = "IEEE Computer Society",
pages = "569--573",
booktitle = "Proceedings - 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011",
note = "25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011 ; Conference date: 22-03-2011 Through 25-03-2011",
}