UML interaction diagrams are used during integration testing. However, this will typically not
find all integration faults as some incorrect behaviors are only exhibited in certain states of …

Agent Interaction Protocols (AIP) play a crucial role in multi-agent systems development. AIP
allow specifying interactions (sequences of messages) between agents. As agent-oriented …

This paper describes an approach for conformance testing of mobile and distributed
systems. The approach is based on kiltera---a novel, high-level language supporting the …

Engineering is a demanding discipline and otherwise qualified students often take their
talents elsewhere-either before earning a Bachelor's degree or shortly thereafter. As a result …

A Mobile Agent System (MAS) is a special kind of distributed system in which the agent
software can move from one physical host to another. This paper describes a new approach …

Abstract Verification of Multi-Agent Systems (MAS) is vital since it results in reducing design
costs. Agent UML (AUML) is a methodology for MAS design that is an extension of Unified …

Mobility occurs naturally in many distributed system applications such as
telecommunications and electronic commerce. Mobility may reduce bandwidth consumption …