Now showing items 1-1 of 1

    • Estelle-based test generation tool 

      Sarikaya, B.; Forghani, B.; Eswara, S. (Elsevier, 1991)
      A test design tool for functional analysis and test derivation of protocols formally specified using an extended finitestate machine model is presented. The formal description language supported is Estelle. The tool's main ...