An Automated Approach to Increasing the Robustness of C Libraries.

Christof Fetzer, Zhen Xiao

Browse the full DSN paper archive.