Search
Now showing items 1-1 of 1
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 ...