AgentSpeak (L) Based Testing of Autonomous Agents. - Muhammad Shafiq ur Rehman; Aamer Nadeem (FGIT-ASEA/DRBC/EL, 2011)

A safe regression testing approach for safety critical systems. - Zahid Hussain Qaisar; Muhammad Shafiq ur Rehman (Adv. Eng. Softw., 2011)

Towards automated testing of multi-agent systems using prometheus design models. - Muhammad Shafiq ur Rehman; Aamer Nadeem; Muddassar A. Sindhu (Int. Arab J. Inf. Technol., 2019)