Jorge Campos, Hussain Al-Asaad. Search-Space Optimizations for High-Level ATPG. In Magdy S. Abadir, Li-C. Wang, editors, Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA. pages 84-89, IEEE Computer Society, 2005. [doi]
Abstract is missing.