Stefano Soffia

According to our database, Stefano Soffia authored at least 3 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

EFSM-based model-driven approach to concolic testing of system-level design.

Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

2010

Semi-formal functional verification by EFSM traversing via NuSMV.

Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli, Stefano Soffia, Marco Roveri

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

2008

Definition and Implementation of a Points-To Analysis for C-like Languages

Stefano Soffia

CoRR, 2008