%0 Conference Paper %1 saad-khorchef_07 %A Saad-Khorchef, Fares %A Rollet, Antoine %A Castanet, Richard %B SAC %D 2007 %E Cho, Yookun %E Wainwright, Roger L. %E Haddad, Hisham %E Shin, Sung Y. %E Koo, Yong Wan %I ACM %K formal ioco mbt reliability robustness %P 1461-1466 %T A framework and a tool for robustness testing of communicating software. %U http://dblp.uni-trier.de/db/conf/sac/sac2007.html#Saad-KhorchefRC07 %@ 1-59593-480-4

@inproceedings{saad-khorchef_07, added-at = {2010-02-19T15:52:00.000+0100}, author = {Saad-Khorchef, Fares and Rollet, Antoine and Castanet, Richard}, biburl = {https://www.bibsonomy.org/bibtex/27d3b4064dd7bba69a4aa1914e8b46cd6/davef}, booktitle = {SAC}, crossref = {conf/sac/2007}, date = {2007-05-24}, description = {dblp}, editor = {Cho, Yookun and Wainwright, Roger L. and Haddad, Hisham and Shin, Sung Y. and Koo, Yong Wan}, ee = {http://doi.acm.org/10.1145/1244002.1244315}, interhash = {0e7c25c28ec0c9fe0478f61791bebecd}, intrahash = {7d3b4064dd7bba69a4aa1914e8b46cd6}, isbn = {1-59593-480-4}, keydf = {reliab2}, keywords = {formal ioco mbt reliability robustness}, pages = {1461-1466}, posted-at = {2010-02-19 14:47:23}, priority = {4}, publisher = {ACM}, timestamp = {2010-02-19T15:52:00.000+0100}, title = {A framework and a tool for robustness testing of communicating software.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2007.html#Saad-KhorchefRC07}, year = 2007 }