Theory and practice of string solvers (invited talk abstract).

Adam Kiezun, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst, Vijay Ganesh

Browse the full ISSTA paper archive.