Slide 1Automatic Test Data Generation of Character String Zhao Ruilian Slide 2 Outline Introduction Automatic test data generation Character string predicate Automatic test…