Stefano Soffia

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia
EFSM-based model-driven approach to concolic testing of system-level design. MEMOCODE (2011)
Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri
Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT (2010)
Stefano Soffia
Definition and Implementation of a Points-To Analysis for C-like Languages CoRR (2008)