“…Probabilistic treatment of testing problems in combinational circuits has been utilized by many authors in areas such as signal probability calculation, random pattern testability estimation, fault grading, and guidance to test generation [1,2,3,4,14,15,16,17,18,21,23,24,25,30,31,32,35]. The use of Shannon's expansion theorem jointly with the cutting algorithm to achieve tighter bounds on signal probability was proposed in [30].…”