Page 1 of 308
Abstract: In the last column, we promised to return to one of the inevitable challenges that vibe coding leaves us with. At the AI Engineer World’s Fair 2025, OpenAI’s Sean Grove claimed that whoever writes the specification is now the programmer since AI can take it from there. Sounds amazing, but what gets lost along the way? To explore this, I’m joined by Jan-Philipp Steghöfer, a researcher at XITASO and...
Abstract: With this paper, we introduce RESTifAI, an LLM-driven approach for generating reusable, CI/CD ready REST API tests, following the happy-path approach. Unlike existing tools that often focus primarily on internal server errors, RESTifAI systematically constructs valid test scenarios (happy paths) and derives negative cases to verify both intended functionality (2xx responses) and robustness against...
Abstract: Quality assurance for large-scale cyber-physical systems relies on sophisticated test activities using complex test environments investigated with the help of numerous types of simulators. As these systems grow, extensive resources are required to develop and maintain simulation models of hardware and software components, as well as physical environments. Meanwhile, recent advances in generative A...
Abstract: Complex software-driven systems often interleave distributed, concurrent computation processes with physical interactions with the environment. Developing these systems more efficiently and safely can be achieved by employing actionable, software-based models. From a high-level system model, engineers often need to derive multiple specialized models for different purposes, including simulation, de...
Abstract: Model-based development enables quicker prototyping, earlier experimentation and validation of design intents. For a multi-agent system with complex asynchronous interactions and concurrency, formal verification, model-checking in particular, offers an automated mechanism for verifying desired properties. Timed Rebeca is an actor-based modelling language supporting reactive, concurrent and time se...
Abstract: TRUST in human-robot interactions (HRI) is essential for effective collaboration and user acceptance of robotic systems. However, trust can be challenged by conflicting goals between the user and the system, such as in the context of proxemics when a robot invades a human’s personal space. As robotic systems increasingly adapt their actions autonomously, intelligent conflict resolution is necessar...
Abstract: With more hybrid heating systems available, there is a need to optimize energy use intelligently from the end-consumer perspective. This paper focuses on a multi-criteria heating system optimization to optimize cost, carbon emission, and comfort level of building occupants. A discrete Multi-Objective Model Predictive Controller (MO-MPC) algorithm is proposed to optimally utilize two heating source...
Abstract: In safety-critical software systems, cybersecurity activities become essential, with risk assessment being one of the most critical. In many software teams, cybersecurity experts are either entirely absent or represented by only a small number of specialists. As a result, the workload for these experts becomes high, and software engineers would need to conduct cybersecurity activities themselves. ...
Abstract: Software quality assurance is critical in safety-critical domains like railway systems, where failures can have catastrophic consequences. In this context, train control and management systems play a central role, and their software must undergo rigorous validation. Alstom Rail Sweden AB employs a digital twin infrastructure to simulate and validate train control and management systems software. W...
Abstract: Sustainable Software Engineering (SSE) is slowly becoming an industry need for reasons including reputation enhancement, improved profits and more efficient practices. However, SSE has many definitions, and this is a challenge for organisations trying to build a common and broadly agreed understanding of the term. Although much research effort has gone into identifying general SSE practices, there...
Abstract: The emergence of Connected, Cooperative, and Automated Mobility (CCAM) systems has significantly transformed the safety assessment landscape. Because they integrate automated vehicle functions beyond those managed by a human driver, new methods are required to evaluate their safety. Approaches that compile evidence from multiple test environments have been proposed for type-approval and similar ev...
Page 1 of 308