Fares Saad-Khorchef, Ismail Berrada, Antoine Rollet, Richard Castanet. Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols. In Gerald Eichler, Peter G. Kropf, Ulrike Lechner, Phayung Meesad, Herwig Unger, editors, 10th International Conference on Innovative Internet Community Services (I:::2:::CS), Jubilee Edition 2010, June 3-5, 2010, Bangkok, Thailand. Volume 165 of LNI, pages 409-421, GI, 2010.
Abstract is missing.