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.
Automated Requirements Reuse and Configuration Framework (Zen-ReqConfig).
Interactive Configuration Framework for CPS Product Lines (Zen-Configurator).
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
Strategies and algorithms to support multi-objective test optimization.
An implementation of Uncertainty-wise Test Modeling.
An uncertainty-wise testing tool for test generation and optimization.
An uncertainty-wise tool for model evolution using genetic programming.
An implementation of UML Testing Profile (UTP) Version 2.0-Beta by using IBM Rational Software Architect 9.1.2.
Thank you for your interest in ZEN TOOLS.
For any inquiry about the content and tools presented in the website, please send
emails
to: