Paul Muntean, Vasantha Kommanapalli, Andreas Ibing, Claudia Eckert. Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. In Floor Koornneef, Coen van Gulijk, editors, Computer Safety, Reliability, and Security - 34th International Conference, SAFECOMP 2015 Delft, The Netherlands, September 23-25, 2015. Proceedings. Volume 9337 of Lecture Notes in Computer Science, pages 441-456, Springer, 2015. [doi]
Abstract is missing.