Using UML for Automatic Test Generation