Checking UML Design Patterns in Java Implementations

In a previous work, we presented a technique that allows verifying the conformance between Java implementations and UML class diagrams, using design tests. While it allowed verifying conformance it does so in a sense that does not deal adequately with some design patterns. In such scenarios, there a... View More