Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines

Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines

A Master of Science thesis in Computer Engineering by Mark Habib Hassoun entitled, "Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines," submitted in January 2015. Thesis advisor is Dr. Khaled El-Fakih Available in both soft and hard copy.

Saved in:
Bibliographic Details
Main Author: Hassoun, Mark Habib (author)
Format: doctoralThesis
Published: 2015
Subjects:
Extended Finite State Machine
Fault Diagnosis
Test Derivation
Test Assessment
Software Engineering
Software Testing
Mutation Testing
Conformance Tests
Sequential machine theory
Computer software
Testing
Software failures
Software engineering
Online Access:http://hdl.handle.net/11073/7759
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

http://hdl.handle.net/11073/7759

Similar Items