A genetic algorithm-based system for generating test programs for microprocessor IP cores | IEEE Conference Publication | IEEE Xplore