Daniel G. Saab Youssef Saab Jacob A. Abraham Iterative [simulation-based genetics + deterministic techniques]= complete ATPG0. 40-43 1994 conf/iccad/1994 ICCAD http://doi.acm.org/10.1145/191326.191347 db/conf/iccad/iccad1994.html#SaabSA94