Automatic Generation of Test Cases of Multi-Agent Systems Based on Model Checking.

Weijian Tang, Keming Wang

Browse the full ISKE paper archive.