Yamashita, Jun Yotsuyanagi, Hiroyuki Hashizume, Masaki Sat-Based Test Generation for Open Faults Using Fault Excitation Caused by Effect of Adjacent lines - 2561-2567 p. Subjects--Topical Terms: Open FaultsAdjacent linesTest Pattern Generation