Search
Now showing items 1-2 of 2
Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines
(2013-06)
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 ...
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
(2015-01)
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 ...