Test Data Generation for C Programs with String-Handling Functions.

Hui Ruan, Jian Zhang, Jun Yan

Browse the full TASE paper archive.