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