Code-Based Test Generation for Validation of Functional Processor Descriptions.

Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel

Browse the full TACAS paper archive.