Return to Article Details Unified Modeling Language and Model Based Testing For Automatic Test Case Generation