Case Study: Efficient SDD test generation for very large integrated circuits. - Peng, Ke; Bao, Fang; Shofner, Geoff; Winemberg, LeRoy; Tehranipoor, Mohammad (2011)