“…However, they acknowledge that test case generation can be slow, though this might have been because of the particular planner they employed in their study. In a follow up study, they develop their ideas further by showing how it is possible to utilize UML together with constraints on parameters and state transition diagrams to model the domain (Scheetz, von Mayrhauser, & France, 1999;von Mayrhauser, Scheetz, & Dahlman, 1999). The class methods of the UML model are mapped to operators and state transition diagrams together with propositional constraints provide information to define the preconditions and effects of operators.…”