Now showing items 1-2 of 2
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
Automatic test derivation from formal specifications offers a rigorous discipline to functional conformance testing. In various application domains, such as communication protocols and other reactive systems, the specification ...
Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines
Developing and selecting an appropriate test suite is an important issue for testing implementations of protocols and other reactive software systems. Many methods are known for the derivation of test suites based on a ...