Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT. - Paul Muntean 001; Vasantha Kommanapalli; Andreas Ibing; Claudia Eckert 001 (SAFECOMP, 2015)