Abstract
In this paper, we have designed and implemented a tool that can be used to effectively collect the trace data of multi-agent applications developed using the Java Agent DEvelopment Framework (JADE). The tool can also be used to monitor JADE applications and to report the occurrence of certain events of interest. The collected trace data can be used later by the developer to verify that the current implementation of the multi-agent application under consideration satisfies certain properties. Moreover, monitoring the application at run-time and reporting the occurrence of certain events can significantly help the developers in testing and debugging multi-agent applications.