Assessment of Testability on Multiagent Systems Developed with Organizational Model Moise. - Eder Mateus Nunes Gonçalves; Bruno Coelho Rodrigues; Ricardo Arend Machado (EPIA (2), 2019)

Testing Multiagent Systems Under Organizational Model Moise Using a Test Adequacy Criterion Based on State Transition Path. - Ricardo Arend Machado; Eder Mateus Nunes Gonçalves (BRACIS (2), 2020)

Automated Mapping Tool from Moise+ to Colored Petri Nets. - Ricardo Arend Machado; Athur Zelindro; Eder Mateus Nunes Gonçalves; Diana Francisca Adamatti; Giovani Farias (FLAIRS, 2024)

A formal testing method for multi-agent systems using colored Petri nets. - Ricardo Arend Machado; Arthur da Silva Zelindro Cardoso; Giovani Parente Farias; Eder Mateus Nunes Gonçalves; Diana Francisca Adamatti (Auton. Agents Multi Agent Syst., 2025)