Zhiyong Zhang, John Thangarajah, Lin Padgham. Model Based Testing for Agent Systems. In Joaquim Filipe, Boris Shishkov, Markus Helfert, Leszek A. Maciaszek, editors, Software and Data Technologies - Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers. Volume 22 of Communications in Computer and Information Science, pages 399-413, Springer, 2007. [doi]
Abstract is missing.