Machado, Ricardo, AND Gonçalves, Eder. " A Review of Methods for Generation and Execution of Tests in Multi-Agent Systems" Proceedings of the Workshop-School on Agents, Environments, and Applications (WESAAC) [Online], (2 May 2019)