Muhammad Shafiq ur Rehman

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 1

Top Topics

Top Venues

Int. Arab J. Inf. Technol.

Publications

Muhammad Shafiq ur Rehman, Aamer Nadeem, Muddassar A. Sindhu
Towards automated testing of multi-agent systems using prometheus design models. Int. Arab J. Inf. Technol. 16 (1) (2019)
Muhammad Shafiq ur Rehman, Aamer Nadeem
AgentSpeak (L) Based Testing of Autonomous Agents. FGIT-ASEA/DRBC/EL (2011)
Zahid Hussain Qaisar, Muhammad Shafiq ur Rehman
A safe regression testing approach for safety critical systems. Adv. Eng. Softw. 42 (8) (2011)