A cone-based genetic optimization procedure for test generation and its application to n-detections in combinational circuits | IEEE Journals & Magazine | IEEE Xplore