Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. - Di Guglielmo, G.; Fummi, F.; Marconcini, C. (IET Computers & Digital Techniques, 2007)