Search-based software test data generation for string data using program-specific search operators
Symbolic execution and program testing