CRPG: a configurable random test-program generator for microprocessors | IEEE Conference Publication | IEEE Xplore