An effective fault ordering heuristic for SAT-based dynamic test compaction techniques

Stephan Eggersglüß, Rolf Drechsler. An effective fault ordering heuristic for SAT-based dynamic test compaction techniques. it - Information Technology, 56(4):157-164, 2014. [doi]

Abstract

Abstract is missing.