Test power reduction and test pattern generation for multiple faults using zero suppressed decision diagrams. (2016)