Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool

Authors:
Ruibing Hao;David Lee;Rakesh K. Sinha;Dario Vlah
Affiliations:
-;-;-;-
Venue:
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Year:
2000

From active to passive progress in testing internet routing protocols

Journal of Computer Science and Technology
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Problems in the information dissemination of the internet routing

Journal of Computer Science and Technology
Wireless protocol testing and validation supported by formal methods: a hands-on report

Journal of Systems and Software - Special issue: Software engineering education and training
Network protocol system monitoring: a formal approach with passive testing

IEEE/ACM Transactions on Networking (TON)
Towards modeling and testing of IP routing protocols

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Fault detection of hierarchical networks with probabilistic testing algorithms

TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems

Hi-index	0.00