EDIF: test generation and fault simulation | IEEE Conference Publication | IEEE Xplore