A Case Study of Concolic Testing Tools and their Limitations | IEEE Conference Publication | IEEE Xplore