Symbolic execution of programs with strings. - Gideon Redelinghuys; Willem Visser; Jaco Geldenhuys (SAICSIT, 2012)