Towards Automated Testing of Multi-Agent Systems Using Prometheus Design Models

Shafiq Ur Rehman1, Aamer Nadeem1, and Muddassar Sindhu2 1Center for Software Dependability, Capital University of Science and Technology, Pakistan 2Department of Computer Science, Quaid i Azam University, Pakistan