SAT-based generation of compressed skewed-load tests for transition delay faults
2013 ◽
Vol 37
(2)
◽
pp. 196-205
◽
2008 ◽
Vol 27
(9)
◽
pp. 1693-1697
◽
2014 ◽
Vol 30
(6)
◽
pp. 763-780
◽