Author:
Rodríguez Ismael,Merayo Mercedes G.,Núñez Manuel
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Bayse, E., Cavalli, A., Núñez, M., Zaïdi, F.: A passive testing approach based on invariants: Application to the WAP. Computer Networks 48(2), 247–266 (2005)
2. Bosik, B.S., Uyar, M.U.: Finite state machine based formal methods in protocol conformance testing. Computer Networks & ISDN Systems 22, 7–33 (1991)
3. Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an extended finite state machine specification. Journal of Information and Software Technology 45, 837–852 (2003)
4. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
5. Eleftherakis, G., Kefalas, P.: Towards model checking of finite state machines extended with memory through refinement. In: Advances in Signal Processing and Computer Technologies, pp. 321–326. World Scientific and Engineering Society Press (2001)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献