Context: Testing is essential to improve the correctness of software systems. Metamorphic
testing (MT) is an approach especially suited when the system under test lacks oracles, or …

Functional safety is crucial for Electric Vehicles (EVs) as it ensures that the EV systems
operate correctly and safely. This paper aims to propose an efficient and holistic approach to …

Object Constraint Language (OCL) plays a pivotal role in Model Driven Architecture (MDA),
an important applied software engineering concept created over a quarter of a century ago …

It is vital to have precise specifications and verification of UML class diagrams to ensure the
correctness of complex software systems. However, current specification and verification …

UML Diagrams has become a standard way of visualizing in designing any system. Among
several UML diagrams, Class diagram plays a crucial role in defining the attributes and …

The validation and verification of UML class diagrams are essential for ensuring the
correctness of complex software systems. However, existing approaches have limitations …

Models are first-class elements in Model-Driven Engineering (MDE). In this paradigm, the
most widespread approaches adopted by the development community are Object-Oriented …

Operation contracts are a popular description means in behavioral system modeling. Pre-
and postconditions are used to describe the effects on model elements (such as attributes …