Giuseppe Di Guglielmo Franco Fummi Cristina Marconcini Graziano Pravadelli A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. 70-75 2005 conf/mtv/2005 MTV http://doi.ieeecomputersociety.org/10.1109/MTV.2005.1 db/conf/mtv/mtv2005.html#GuglielmoFMP05