Automatic Test Program Generation For Pipelined Processors | IEEE Conference Publication | IEEE Xplore