An automated approach to increasing the robustness of C libraries | IEEE Conference Publication | IEEE Xplore