Memory Modeling-Based Automatic Test Data Generation for String-Manipulating Programs.

Feiyu Li, Yunzhan Gong

Browse the full APSEC paper archive.