Automatic verification of design patterns in Java
A Runtime Assertion Checker for the Java Modeling Language (JML)