Enhancing Testing of MASs with a Simulator of JADE. - Daniela Briola; Giuseppe Vizzari; Mauro Montinaro (ECAI, 2025)