3.SAwUML – UML-based, contractual software architectures and their formal analysis using SPIN
4.UML model refactoring: a systematic literature review
10.Automated generation of test oracles using a model-driven approach
11.UML-Based Modeling of Robustness Testing
19.Object Constraint Language for Code Generation from Activity Models