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.
@inproceedings{Saad-KhorchefBRC10,
title = {Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols},
author = {Fares Saad-Khorchef and Ismail Berrada and Antoine Rollet and Richard Castanet},
year = {2010},
tags = {protocol, testing},
researchr = {https://researchr.org/publication/Saad-KhorchefBRC10},
cites = {0},
citedby = {0},
pages = {409-421},
booktitle = {10th International Conference on Innovative Internet Community Services (I:::2:::CS), Jubilee Edition 2010, June 3-5, 2010, Bangkok, Thailand},
editor = {Gerald Eichler and Peter G. Kropf and Ulrike Lechner and Phayung Meesad and Herwig Unger},
volume = {165},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-259-8},
}