Concolic Execution on Small-Size Binaries: Challenges and Empirical Study | IEEE Conference Publication | IEEE Xplore