Concolic Execution on Small-Size Binaries: Challenges and Empirical Study.

Hui Xu, Yangfan Zhou, Yu Kang, Michael R. Lyu

Browse the full DSN paper archive.