Fault equivalence identification using redundancy information and static and dynamic extraction | IEEE Conference Publication | IEEE Xplore