"MA2TG: A Functional Test Program Generator for Microprocessor Verification."

Tun Li et al. (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics