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 …

In the early 1990s, NASA Goddard Space Flight Center started researching and developing
autonomous and autonomic ground and spacecraft control systems for future NASA …

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 …

Although agent technology is gaining world wide popularity, a hindrance to its uptake is the
lack of proper testing mechanisms for agent based systems. While many traditional software …

Agent-based distributed systems are increasingly used in various application domains,
where autonomy, proactivity and cooperation are required. Correspondingly, the demands …

ABSTRACT The Prometheus Design Tool (PDT) is an agent development tool that supports
the Prometheus design methodology and includes features like automated code generation …

Agents are a promising technology for dealing with increasingly complex system
development. An agent may have many ways of achieving a given task, and it selects the …

Testing is an important activity in software development in order to assure the correctness of
software. However, testing is often disregarded in most agent oriented methodologies …

Software agents are a promising technology for today's complex, distributed systems.
Methodologies and techniques that address testing and reliability of multi agent systems are …