The Region-Exhaustive Fault Model | IEEE Conference Publication | IEEE Xplore