Now showing items 1-1 of 1

    • 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, ...