An automated approach to increasing the robustness of c libraries. In: (2002)

by C Fetzer, X Zhen
Venue:Proceedings of the International Conference on Dependable Systems and Networks,