Automated Usability Testing Framework
Automatic verification of design patterns in Java