SAT-Based Generation of Compressed Skewed-Load Tests for Transition Delay Faults.

Roland Dobai, Marcel Balz

Browse the full DSD paper archive.