Model Based Testing for Agent Systems.

Zhiyong Zhang, John Thangarajah, Lin Padgham

Browse the full ICSoft paper archive.