Browsing by Author "a5a94460-90fd-41ea-ae5b-37b50fc6b650"
Now showing items 1-1 of 1
-
On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
Jadoon, Noshad Khan (2015-07)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 ...