QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.

Hao Wu

Browse the full FASE paper archive.