1. Test case generation by ocl mutation and constraint solving;Aichernig,2005
2. Mde basics with a dsl focus;Andova,2012
3. Detecting model inconsistency through operation-based model construction;Blanc,2008
4. An algebraic semantics for mof;Boronat,2008
5. Towards transformation of integrity constraints and database states;Büttner,2005