LIME Testbench

Runtime monitoring of model-based properties, and test case generation

NeoEMF

NeoEMF is a project that aims at handling large EMF models in an efficient and scalable way.