Mats Johansson The GENESYS-Algorithm for ATPG without Fault Simulation. 333-337 1983 conf/itc/1983 ITC db/conf/itc/itc1983.html#Johansson83