Now showing items 1-2 of 2

    • Test case verification by model checking 

      Naik, K.; Sarikaya, B. (Kluwer Academic Publishers, 1993)
      Verification of a test case for testing the conformance of protocol implementations against the formal description of the protocol involves verifying three aspects of the test case: expected input/output test behavior, ...
    • Verification of protocol conformance test cases using reachability analysis 

      Naik, K.; Sarikaya, Behcet (Elsevier Inc., 1992)
      A methodology is presented to verify manually written test cases against the formal specification of a protocol. Initially, a protocol and a test case are modeled as nondeterministic finite state machines and test case ...