Irith Pomeranz Sudhakar M. Reddy Dynamic test compaction for a random test generation procedure with input cube avoidance. 672-677 2009 ASP-DAC http://doi.acm.org/10.1145/1509633.1509786 conf/aspdac/2009 db/conf/aspdac/aspdac2009.html#PomeranzR09