Browsing Masters Theses by Author "f664e14f-c98d-48a2-8fed-e211eb36aa82"
Now showing items 1-1 of 1
-
Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
Hassoun, Mark Habib (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 ...