Test pattern generation to detect multiple faults in ROBDD based combinational circuits | IEEE Conference Publication | IEEE Xplore