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

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

Browse the full MEMOCODE paper archive.