ALAPTF: a new transition fault model and the ATPG algorithm | IEEE Conference Publication | IEEE Xplore