Qamar uz Zaman

Assistant Professor
  • Department of Software Engineering
  • (041) 111-128-128
  • Ext: 376


  • Experience:
  • Interests:
  • Date of Joining:
  • 20 Years
  • Requirements Engineering, Formal Methods, and Software Testing.
  • 01/08/2022

Dr. Qamar uz Zaman joined FAST National University of Computer and Emerging Sciences (NUCES), Chiniot-Faisalabad (CFD) Campus, Pakistan as an Assistant Professor in August 2022. He also worked as a Senior Lecturer in the Department of Software Engineering, Capital University of Science and Technology (CUST), Islamabad, and as a Lecturer at COMSATS University, Abbottabad Campus. He has published several articles in reputed journals and conferences. His interest areas include Requirements Engineering, Formal Methods, and Software Testing.


PhD, Capital University of Science and Technology (CUST), Islamabad, Pakistan

MS Software Engineering, University of Engineering and Technology (UET), Taxila, Pakistan


HEC Recognized Impact factor publications

Momna Javaid, Muhammad Shahzad Sarfraz, Muhammad Umar Aftab, Qamar uz Zaman, Hafiz Tayyab Rauf, and Khalid A. Alnowibet, “WebGIS-Based Real-Time Surveillance and Response System for Vector-Borne Infectious Diseases”, International Journal of Environmental Research and Public Health, Multidiciplinary, MDPI & Switzerland, (IF. 4.614), 2023.

Jafari, Fakeeha, Aamer Nadeem, and Zaman Q.U., 2022. “Evaluation of Metamorphic Testing for Edge Detection in MRI Brain Diagnostics” Applied Sciences 12(17), pp. 8684. IF:2.83

Zaman Q.U., Nadeem A., Sindhu M.A., 2020. Formalizing the use case model: A model-based approach. Plos one, 15(4), p.e0231534. IF:3.24


Conference Paper:

Naheed, M., Nadeem, A. and Zaman, Q.U., 2022, August. A Requirement Based Approach to Test Case Prioritization for Regression Testing. In 2022 19th International Bhurban Conference on Applied Sciences and Technology (IBCAST) (pp. 358-363). IEEE.

Naseer A., Nadeem A., Zaman Q.U., “ A GUI Based Approach to Detect Energy Bugs in Android Applications,” 2021 16th International Conference on Emerging Technologies (ICET), Islamabad, Pakistan, 2021, pp. 1-6, doi: 10.1109/ICET54505.2021.9689870.

Butool R., Nadeem A., Sindhu M.A., and Zaman Q.U., “Improving Requirements Coverage in Test Case Prioritization for Regression Testing,” 2019 22nd International Multitopic Conference (INMIC), Islamabad, Pakistan, 2019, pp. 1-6, doi: 10.1109/INMIC48123.2019.9022761.

Afzal T., Nadeem A., Sindhu M.A. and Zaman Q.U., “Test Case Prioritization Based on Path Complexity,” 2019 International Conference on Frontiers of Information Technology (FIT), Islamabad, Pakistan, 2019, pp. 363-3635, doi: 10.1109/FIT47737.2019.00074.

Zaman Q.U., Sindhu M.A., Nadeem A., “Formalizing a Use Case to a Kripke Structure”, IASTED International Symposium Software Engineering and Applications (SEA 2015),

Collaborations at National and International Level

Detail of Funded Projects