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

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 …

The complexity and scope of software systems continues to grow. One approach to dealing
with this growing complexity is the use of intelligent, multi-agent systems. However, due in …

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 …

In software testing, especially unit testing, it is very common that software testers need to test
a class or a component without integration with some of its dependencies. Typical reasons …

This paper develops theoretical foundation and implements technologies for generation of
legal arguments based on precedent construction disputes. First, the authors simulated the …

Despite the high number of existing works in software testing within the SBSE community,
there are very few ones that address the problematic of agent testing. The most prominent …

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 …

Verifying that agent interactions in a multiagent system (MAS) are compliant to a given
global protocol is of paramount importance for most systems, and is mandatory for safety …