The remarkable capability of large language models (LLMs) in generating high-quality code
has drawn increasing attention in the software testing community. However, existing code …

Model-based design of manufacturing robotic systems involving the usage of different tools,
models and the co-simulation of the system behaviour benefits from collaborative platforms …

Domain-Specific Languages (DSLs) help manage the growing complexity of systems by
facilitating their description and execution or simulation via tailored languages. A large part …

The coupling between the object-oriented dialects of VDM (VDM++ and VDM-RT) and UML,
found on The Overture Tool has been left behind due to the shift in focus onto VDM VSCode …

Although studies emphasized the effectiveness of analyzing data-flow coverage as opposed
to branch coverage in the area of testing, there is still a lack of appropriate tools. We propose …

To cope with the ever-growing number of programming languages, manufacturers of
Integrated Development Environments (IDE) have recently defined protocols as a way to use …

The VDM VSCode extension has made its way to the daily practice of several engineers and
students. Recent development furnished the extension with many of the features previously …

Modeling tools play a critical role in the field of Model-driven Engineering (MDE) to create
abstractions of systems through the use of modeling languages which allow specifying …

How is it possible to bridge the gap between requirement elicitation and formal
specification? This paper proposes a solution that involves the methodology Behaviour …

This research paper conducts a comparative analysis to evaluate the robustness of human
pose estimation models. The study scrutinizes advanced computer vision techniques …