Fulvio Corno Paolo Prinetto Maurizio Rebaudengo Matteo Sonza Reorda Comparing Topological, Symbolic and GA-based ATPGs: An Experimental Approach. 39-47 1996 conf/itc/1996 ITC db/conf/itc/itc1996.html#CornoPRR96