Abstract: Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example ... state machine diagram.