Yacine Kissoum, Zaïdi Sahnoun. A Formal Approach for Functional and Structural Test Case Generation in Multi-Agent Systems. In 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 13-16 May 2007, Amman, Jordan. pages 76-83, IEEE, 2007. [doi]
Abstract is missing.