A genetic algorithm for testable data path synthesis | IEEE Conference Publication | IEEE Xplore