Functional Test-Case Generation by a Control Transaction Graph for TLM Verification.

Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Siamak Mohammadi

Browse the full DSD paper archive.