A Coverage Metric to Aid in Testing Multi-Agent Systems