Text this: Automatic model - based test case generation for uml diagrams using tree travelsal algorithm