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 surveys the state-of-the-art in develo** multi-agent systems, and sets out to
answer the questions:“what are the key current issues in develo** multi-agent systems?” …

We present the Prometheus methodology for designing agents and multi-agent systems.
The methodology is intended to be practical; in particular, it aims to be complete and …

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 describes how the Prometheus Design Tool (PDT) is used to support the
Prometheus methodology for designing agent systems. This is done by using an exemplar …

We believe that tool support is very important for any methodology. In this paper we describe
PDT (Prometheus design tool) which supports the design of an intelligent agent system …

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 …

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

This thesis discusses an approach for automatically testing systems that are composed of
software agents. A software agent is a software component that carries out autonomous …

Numerous methodologies for develo** agent-based systems have been proposed in the
literature. This proliferation creates a challenge to practitioners who need to select a …