Browsing Masters Theses by Author "287a09e8-834c-4f6f-9012-91d846f3140c"
Now showing items 1-1 of 1
-
Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines
Salameh, Tariq Mohammad (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 ...