Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Siamak Mohammadi. Functional Test-Case Generation by a Control Transaction Graph for TLM Verification. In Tenth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2007), 29-31 August 2007, Lübeck, Germany. pages 157-164, IEEE, 2007. [doi]
@inproceedings{KakoeeNM07,
title = {Functional Test-Case Generation by a Control Transaction Graph for TLM Verification},
author = {Mohammad Reza Kakoee and Mohammad Hossein Neishaburi and Siamak Mohammadi},
year = {2007},
doi = {10.1109/DSD.2007.4341464},
url = {http://dx.doi.org/10.1109/DSD.2007.4341464},
tags = {testing, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/KakoeeNM07},
cites = {0},
citedby = {0},
pages = {157-164},
booktitle = {Tenth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2007), 29-31 August 2007, Lübeck, Germany},
publisher = {IEEE},
}