"Test Program Generation for a Microprocessor - A Case-Study."

Achim D. Brucker et al. (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics