Brian Hackett, Manuvir Das, Daniel Wang, Zhe Yang. Modular checking for buffer overflows in the large. In Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa, editors, 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. pages 232-241, ACM, 2006. [doi]
Abstract is missing.