Haihua Shen Lin Ma Heng Zhang CRPG: a configurable random test-program generator for microprocessors. 4171-4174 2005 conf/iscas/2005 ISCAS (4) http://dx.doi.org/10.1109/ISCAS.2005.1465550 db/conf/iscas/iscas2005-4.html#ShenMZ05