Fault simulation for multiple faults using shared BDD representation of fault sets | IEEE Conference Publication | IEEE Xplore