Now showing items 1-2 of 2

    • Analysis and representation of test cases generated from LOTOS 

      Tripathy, P.; Sarikaya, B. (Elsevier, 1995)
      This paper presents a method to generate, analyse and represent test cases from protocol specification. The language of temporal ordering specification (LOTOS) is mapped into an extended finite state machine (EFSM). Test ...
    • Slicing approach to specification for testability in LOTOS 

      Ateş, Ahmet Feyzi (Bilkent University, 1993)
      With the recent increase in the use of formal methods in specification of communication protocols, there is a need to base the conformance testing of protocol implementations on formal specifications. This brings in the ...