• Symbolic string execution 

      Redelinghuys, Gideon (Stellenbosch : Stellenbosch University, 2012-03)
      ENGLISH ABSTRACT: Symbolic execution is a well-established technique for automated test generation and for nding errors in complex code. Most of the focus has however been on programs that manipulate integers, booleans, ...