Software testing, as a major verification and validation activity which revolves around quality
tests, is a knowledge-intensive activity. Hence, it is reasonable to expect that it can be …

Context: Agent-based models play an important role in simulating complex emergent
phenomena and supporting critical decisions. In this context, a software fault may result in …

Autonomous systems are used nowadays in more and more sectors from vehicles to
domestic robots. They can make decisions on their own or interact with humans, thus their …

Testing the robustness and safety of autonomous systems (like do-mestic or manufacturing
robots) is a challenging task since these systems can make decisions on their own …

Software testing is one of the most important activities for ensuring quality of software
products. It is a complex and knowledge-intensive activity which can be improved by reusing …

Abstract The ARTEMIS project R3-COP (Resilient Reasoning Robotic Co-operating
Systems) aims at providing European industry with leading-edge innovation that will enable …

The quality and the success of software systems depends on how well it meets its intended
needs of the stakeholders. Requirements engineering (RE) is a process which involves the …