Ismail Berrada, Richard Castanet, Patrick Félix. Testing Communicating Systems: a Model, a Methodology, and a Tool. In Ferhat Khendek, Rachida Dssouli, editors, Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings. Volume 3502 of Lecture Notes in Computer Science, pages 111-128, Springer, 2005. [doi]
@inproceedings{BerradaCF05,
title = {Testing Communicating Systems: a Model, a Methodology, and a Tool},
author = {Ismail Berrada and Richard Castanet and Patrick Félix},
year = {2005},
doi = {10.1007/11430230_9},
url = {http://dx.doi.org/10.1007/11430230_9},
tags = {testing},
researchr = {https://researchr.org/publication/BerradaCF05},
cites = {0},
citedby = {0},
pages = {111-128},
booktitle = {Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings},
editor = {Ferhat Khendek and Rachida Dssouli},
volume = {3502},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-26054-4},
}