The following publications are possibly variants of this publication:
- An EFSM-based approach for functional ATPGFranco Fummi, Cristina Marconcini, Graziano Pravadelli. glvlsi 2005: 197-200 [doi]
- FATE: a Functional ATPG to Traverse Unstabilized EFSMsGiuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli. emnets 2006: 179-184 [doi]
- The impact of EFSM composition on functional ATPGDavide Bresolin, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Tiziano Villa. ddecs 2009: 44-49 [doi]
- Improving Gate-Level ATPG by Traversing Concurrent EFSMsGiuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli. vts 2006: 172-179 [doi]
- Functional verification based on the EFSM modelFranco Fummi, Cristina Marconcini, Graziano Pravadelli. hldvt 2004: 69-74 [doi]
- Semi-formal functional verification by EFSM traversing via NuSMVGiuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri. hldvt 2010: 58-65 [doi]
- A CLP-Based Functional ATPG for Extended FSMsFranco Fummi, Cristina Marconcini, Graziano Pravadelli, Ian G. Harris. mtv 2007: 98-105 [doi]