Tests with UML and corresponding code.