EFSM-based model-driven approach to concolic testing of system-level design | IEEE Conference Publication | IEEE Xplore