A Formal Approach for Functional and Structural Test Case Generation in Multi-Agent Systems.

Yacine Kissoum, Zadi Sahnoun

Browse the full AICCSA paper archive.