Zen-RUCM built on top of RUCM, aims to tackle the challenges of requirement specification and analysis in different application domains
Evolutionary Solver for OCL (EsOCL) is a practical and scalable search-based constraint solver for the Object Constraint Language (OCL) that provides a solution for various model-driven engineering problems.
iOCL (An Interactive OCL Writer Tool) is a web-based tool for writing OCL constraints in an interactive way.
Product Line Test Management Framework (PL-TMF) focusing on managing and generating test cases product lines.
An approach that combines multi-objective search with machine learning to mine rules for interacting products within/across the product lines.
Eclipse plugin to effectively test Self-Healing Cyber Physical Systems (SH-CPSs) under uncertainty
Thank you for your interest in ZEN TOOLS.
For any inquiry about the content and tools presented in the website, please send emails to: