Follow
Qamar uz Zaman, Ph.D
Title
Cited by
Cited by
Year
Formalizing the use case model: A model-based approach
Q Zaman, A Nadeem, MA Sindhu
Plos one 15 (4), e0231534, 2020
72020
Improving Requirements Coverage in Test Case Prioritization for Regression Testing
R Butool, A Nadeem, M Sindhu, Q uz Zaman
2019 22nd International Multitopic Conference (INMIC), 1-6, 2019
62019
Test case prioritization based on path complexity
T Afzal, A Nadeem, M Sindhu, Q uz Zaman
2019 International Conference on Frontiers of Information Technology (FIT …, 2019
42019
Formalizing a Use Case to a Kripke Structure
Q uz Zaman, MA Sindhu, A Nadeem
Proceedings of the IASTED International Symposium Software Engineering and …, 2015
12015
Evaluation of Metamorphic Testing for Edge Detection in MRI Brain Diagnostics.
QZ Fakeeha Jafari, Aamer Nadeem
Applied Sciences 12 (17), 8684, 2022
2022
A Requirement Based Approach to Test Case Prioritization for Regression Testing
M Naheed, A Nadeem, QU Zaman
2022 19th International Bhurban Conference on Applied Sciences and …, 2022
2022
Formalization of a Use Case Model to Kripke Structure and LTL Formulas
Q uz Zaman
CAPITAL UNIVERSITY, 2022
2022
A GUI Based Approach to Detect Energy Bugs in Android Applications
A Naseer, A Nadeem, QU Zaman
2021 16th International Conference on Emerging Technologies (ICET), 1-6, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–8