A Novel Method Makes Concolic System More Effective | IEEE Conference Publication | IEEE Xplore