In recent years, Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The implementation for such systems has usually the form of Multi-Agent Systems (MAS). MAS’ testing is a challenging task because these systems are often programmed to be autonomous and deliberative, and they operate in an open world, which...