Constraint-Based Testing for Buffer Overflows. - Loui Al Sardy; Francesca Saglietti; Tong Tang; Heiko Sonnenberg (SAFECOMP Workshops, 2018)