Roland Dobai, Marcel Baláz. SAT-Based Generation of Compressed Skewed-Load Tests for Transition Delay Faults. In 14th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, DSD 2011, August 31 - September 2, 2011, Oulu, Finland. pages 191-196, IEEE, 2011. [doi]
Abstract is missing.