In this talk, I will focus on a connection between stable-failures refinement and the ioco conformance relation. Both behavioural relations underlie methodologies that have gained traction in industry: stable-failures refinement is used in several commercial Model-Driven Engineering tool suites, whereas the ioco conformance relation is used in Model-Based Testing tools.Refinement-based Model-Driven Engineering approaches promise to generate executable code from high-level models, thus guaranteeing that the code upholds specified behavioural contracts. Manual testing, however, is still required to gain confidence that the model-to-code transformation and the execution platform do not lead to unexpected contract violations.We identify conditions under which also this last step in the design methodology can be automated using the ioco conformance relation and the associated tools.
Latest Announcements
Seminars
A general framework for distributed approximate similarity search with arbitrary distances
2024-09-26
While many similarity search algorithms are specifically adapted to metric distances,they are unsuitable for alternatives like the cosine distance, which has gained popularity, particularly with embeddings and text mining. To address thisissue, we propose GDASC (General Distri...
In this talk, I will focus on a connection between stable-failures refinement and the ioco conformance relation. Both behavioural relations underlie methodologies that have gained traction in industry: stable-failures refinement is used in several commercial Model-Driven Engin...
Explainability in deep learning models applied to spatio-temporal problems
2024-09-13
Artificial Intelligence (AI) is transforming society, affecting everything from industry to decision making, and concerns about its transparency have increased. Explainable Artificial Intelligence (XAI) is crucial to address this problem, allowing to obtain a better understand...
Making 5G Networks Reliable for Next-generation Applications using AI
2024-05-27
The emergence of 5G technology marks a significant milestone in developing telecommunication networks, enabling exciting new applications such as augmented reality and self-driving vehicles. However, these improvements bring an increased management complexity and a special con...
Cargo Cult Architecture: An Empirical Investigation into the Maintainability Benefits of Design Patterns
2024-05-24
There have been many claims for the benefits of using patterns in software design and implementation. In this research we were interested to understand whether adopting patterns positively affects a project's long-term maintainability, as measured by its feature velocity and ...
Software developers utilize a wide range of features in their integrated development environments, such as text search, documentation views, or inline hints in the editor. Many of these features traditionally operate only on static representations of programs, i.e., their sour...
The talk will reflect oninsights from the current affective experiences of users in socialvirtual reality, as well as emerging cultures and practices. These includedrinking together in VR, groups that choose to remain mute, phantom touchsensations, blocking practices, and rela...
In this talk, I will describe my encoder-centric view of neural methods for retrieval and how different types of approaches compare under this framework. In some sense, traditional methods like BM25 are simply handcrafted encoders; in another, DSI (differentiable search index)...