Automated ISA branch coverage analysis and test case generation for retargetable instruction set simulators.

Harry Wagstaff, Tom Spink, Bjrn Franke

Browse the full CASES paper archive.