Rudolf Scheurer

  • Citations Per Year
Learn More
The treatment of complexity is one of the main problems in the area of validation and ver cation of formally speci ed protocols. The problem can be tackled by using heuristics, partial order simulation methods, and optimization strategies. We present these mechanisms and describe the way they work. Their usefulness will be discussed by presenting the(More)
The test generation method SaMsTaG (SDL and MSC based test case generation) has successfully been applied to the B-ISDN ATM Adaption Layer protocol SSCOP (Service Speciic Connection Oriented Protocol). In parallel to our work the ATM Forum developed another test suite for SSCOP. Unlike the test suite generated automatically by the SaMs-TaG tool, this one(More)
  • 1