A rule-based multi-agent system for testing distributed applications | IEEE Conference Publication | IEEE Xplore