Effective Software Testing with a String-Constraint Solver (2009)

by Michael D. Ernst