Text this: Coverage criteria for UML state chart diagram in model-based testing