Abstract: Random testing （RT） has been employed to automatically generate test cases for model-based testing, in which model coverage criteria are key techniques to evaluate test adequacy so as to control the random testing process. However, independent and complet

Key words: Random testing, Automatic test case generation,Classification tree, UML activity diagram