Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli. A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. 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 70-75, IEEE Computer Society, 2005. [doi]
Abstract is missing.