Automated mapping of pre-computed module-level test sequences to processor instructions. - S. Guramurthy; Shobha Vasudevan; Jacob A. Abraham (ITC, 2005)