Qamar Uz Zaman – CS

Mr. Qamar uz Zaman (PhD Scholar M.A.J.U, Islamabad)

Senior Lecturer
PROFILE SUMMARY

Mr. Qamar uz Zaman received his masters degree in Software Engineering from Center for Advanced Studies in Engineering, Islamabad in 2013. He has been associated with academia since 2002. He is a senior lecturer in the Department of Software Engineering at Capital University of Science and Technology, Islamabad. His research interests include Requirements Engineering, Formal Methods and Software Testing.

QUALIFICATION
PhD Scholar Software Engineering Capital University of Science and Technology, Islamabad. Since 2013
MS Software Engineering Center for Advanced Studies in Engineering (CASE), Islamabad. 2013
MCS Computer Science Humdard University, Karachi 2001
TEACHING EXPERIENCE
Senior Lecturer Capital University of Science and Technology (CUST), Islamabad Since – 2022
Lecturer Capital University of Science and Technology (CUST), Islamabad 2016 – 2021
Lecturer University of Central Punjab, Faisalabad Campus 2010 – 2015
Lecturer/Assistant System Analyst COMSATS Institute of Science & Technology, Abbottabad Campus. 2002 – 2006
RESEARCH AREAS / INTERESTS

1. Software Testing
2. Requirements Engineering
3. Formal Methods.

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

JOURNAL PUBLICATIONS
1. Zaman, Q.U., Nadeem, A. and Sindhu, M.A., 2020. Formalizing the use case model: A model-based approach. Plos one, 15(4), p.e0231534.
CONFERENCE PUBLICATIONS
1. A. Naseer, A. Nadeem and Q. Uz Zaman, “A GUI Based Approach to Detect Energy Bugs in Android Applications,” 2021 16th International Conference on Emerging Technologies (ICET), 2021, pp. 1-6, doi: 10.1109/ICET54505.2021.9689870.
2. R. Butool, A. Nadeem, M. Sindhu and Q. u. Zaman, “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.
3. T. Afzal, A. Nadeem, M. Sindhu and Q. uz Zaman, “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.
4. Qamar uz Zaman, Muddassar Ahmad Sindhu, Aamer Nademm, “Formalizing a Use Case to a Kripke Structure”, IASTED International Symposium Software Engineering and Applications (SEA 2015), ISSBN/ISSN: 10.2316/P.2015.829-017, 2015

Other Members