Work

Automatic string test data generation for detecting domain errors