Mixing Concrete and Symbolic Execution to Improve the Performance of Dynamic Test Generation | IEEE Conference Publication | IEEE Xplore