Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation

Endre Horváth. Ad-hoc Protocol Modelling, Validation and Automated Test Suite Generation. In Ina Schieferdecker, Hartmut König, Adam Wolisz, editors, Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002. Volume 210 of IFIP Conference Proceedings, pages 235, Kluwer, 2002.

Abstract

Abstract is missing.