Fabrice Baray Philippe Codognet Daniel Diaz Henri Michel Code-Based Test Generation for Validation of Functional Processor Descriptions. 569-584 2003 conf/tacas/2003 TACAS http://link.springer.de/link/service/series/0558/bibs/2619/26190569.htm db/conf/tacas/tacas2003.html#BarayCDM03