Definition and Implementation of a Points-To Analysis for C-like Languages - Stefano Soffia (CoRR, 2008)

Semi-formal functional verification by EFSM traversing via NuSMV. - Giuseppe Di Guglielmo; Franco Fummi; Graziano Pravadelli; Stefano Soffia; Marco Roveri (HLDVT, 2010)

EFSM-based model-driven approach to concolic testing of system-level design. - Giuseppe Di Guglielmo; Masahiro Fujita; Franco Fummi; Graziano Pravadelli; Stefano Soffia (MEMOCODE, 2011)