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 ...