Crashmaker: an improved binary concolic testing tool for vulnerability detection.

Bing Chen, Qingkai Zeng, Weiguang Wang

Browse the full SAC paper archive.