Author:
Boroday Sergiy,Groz Roland,Petrenko Alex,Quemener Yves-Marie
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. v. Bochmann G., Das, A. Dssouli R., Dubuc M., Ghedamsi A., Luo G.: Fault Model in Testing. Proceedings of the IFIP IV Workshop on Protocol Test Systems; pp. 17–30, October 1991; Leidschendam, The Netherlands.
2. Bozga M., Fernandez J.-Cl., Ghirvu L., Graf S., Krimm J.-P., Mounier L., Sifakis J.: IF: An Intermediate Representation for SDL and its Applications. Proceedings of SDLFORUM 1999; pp. 423–440, June 1999; Montreal, Canada.
3. Lect Notes Comput Sci;M. Bozga,1999
4. Bozga M.: Vérification symbolique pour les protocoles de communication. PhD Thesis, Grenoble University, 1999.
5. Boroday S., Petrenko A., Groz R., and Quemener Y.-M.: Test Generation for CEFSM Combining Specification and Fault Coverage. Proceedings of IFIP 14th International Conference on Testing of Communicating Systems (TestCom 2002), pp. 355–371, March 2002, Berlin, Germany, Kluwer.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献