UCTSystem is a prototype tool designed to perform automatic test generation from UML requirements. It uses UML use cases enhenced with contracts (i.e. precondition and postconditions) to build an execution model allowing all valid sequences of use cases. Using this execution model and several test criteria, it generates test objectives as sequence of use cases to exerce. It includes both criteria for functional testing and a criterion for robusness testing. Those test objectives are then mapped into test cases using test templates.
A. Goens, A. Brauckmann, S. Ertel, C. Cummins, H. Leather, and J. Castrillon. Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, page 38–46. New York, NY, USA, Association for Computing Machinery, (2019)
S. Kavaldjian. ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, page 603--606. New York, NY, USA, ACM, (2007)