An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes | IEEE Conference Publication | IEEE Xplore