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 …

Testing software agents and Multi-Agent Systems (MAS) needs suitable techniques to
evaluate agent's autonomous behaviours as well as distribution, social and deliberative …

A system built in terms of autonomous software agents may require even greater correctness
assurance than one that is merely reacting to the immediate control of its users. Agents …

Software testing remains the most widely used approach to verification in industry today,
consuming between 30-50 percent of the entire development cost. Test input selection for …

This paper investigates software agents testing, and in particular how to automate test
generation. We propose a novel approach, which takes advantage of agent interaction …

Agent systems are distributed systems consist of agents that autonomously interact to each
other in an environment to perform tasks and achieve goals. Performing verification is …

This paper presents a testing methodology to apply Behaviour Driven Development (BDD)
techniques while developing Multi-Agent Systems (MASs), termed BEhavioural Agent …

Abstract Agent-Oriented Software Engineering (AOSE) methodologies are proposed to
develop complex distributed systems based upon the agent paradigm. The natural …

Robotic systems are complex cyber-physical systems (CPS) commonly equipped with
multiple sensors and effectors. Recent simulation methods enable the Digital Twin (DT) …

In recent years, agent-based systems have received considerable attention in both
academics and industry. The agent-oriented paradigm can be considered a natural …