Rakesh K. Sinha

Publications (4)0 Total impact

• Article: Integrated system interoperability testing with applications to VoIP.

  Ruibing Hao, David Lee, Rakesh K. Sinha, Nancy D. Griffeth
  IEEE/ACM Trans. Netw. 01/2004; 12:823-836.
• Source

  Available from: psu.edu

  Article: Testing IP Routing Protocols - from Probabilistic Algorithm to Software Tool

  Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah
  [show abstract] [hide abstract]
  ABSTRACT: We present probabilistic algorithms for testing IP routing protocols. Different than commercial testing tools, which select their test cases in an ad-hoc manner, our technique chooses test cases with a guaranteed fault coverage. Our algorithms are specialized and applied to testing RIP, OSPF, and BGP routing protocols. We test the routing table correctness, database information consistency with network topology and packet forwarding behaviors. We provide an analysis of test execution time and fault coverage based on a mathematical model of network topologies. The algorithms are part of a software tool SOCRATES, developed at Bell laboratories.
  12/2000;
• Conference Proceeding: Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool.

  Ruibing Hao, David Lee, Rakesh K. Sinha, Dario Vlah
  Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP 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), October 10-13, 2000, Pisa, Italy; 01/2000
• Conference Proceeding: Integrated System Interoperability Testing with Applications to VOIP.

  Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha
  Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP 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), October 10-13, 2000, Pisa, Italy; 01/2000