Muhammad Uzair Khan

46 papers A 5B 3Misc 1Journal 30Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Mutational insights and in silico characterization of NEK family kinases in OSCC patients from the Pakistani population. Frontiers Bioinform. Fouzia Nawab, Wafa Naeem, Sadia Fatima, Muhammad Uzair Khan, Aamir Mehmood, Sadia Nawab, Ishaq Khan, Haseena Nawaz, Hilal Ahmad, Ali Talha Khalil, Ishtiaq Ahmad Khan, Muhammad Irfan, Mohammed Alorini, Syed Ali Khurram, Asif Ali
2025	J	`jnl`	A Machine Learning-Based Framework for Heart Disease Diagnosis Using a Comprehensive Patient Cohort. Comput. Mater. Continua Saadia Tabassum, Fazal Muhammad, Muhammad Ayaz Khan, Muhammad Uzair Khan, Dawar Awan, Neelam Gohar, Shahid Khan, Amal Al-Rasheed
2025	J	`jnl`	A hybrid search and model-based approach for testing the self-adaptive unmanned aircraft system software. Comput. Stand. Interfaces Zainab Javed, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman, Atif Aftab Ahmed Jilani
2025	J	`jnl`	Enhancing usability of business rules in software systems: a comparative study of SBVR and DMN business rules writing methods. Int. J. Syst. Assur. Eng. Manag. Maheen Arshad, Maham Haq, Muhammad Uzair Khan, Atif Aftab Jilani, Shafiq-Ur-Rehman
2025	J	`jnl`	Search-Based MC/DC Test Data Generation With OCL Constraints. Softw. Test. Verification Reliab. Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2025	J	`jnl`	VGBT: Organizing Chaos with a Player-Focused Taxonomy of Video Game Bugs. Multim. Tools Appl. Nigar Azhar Butt, Salman Sherin, Muhammad Uzair Khan, Atif Aftab Ahmed Jilani, Muhammad Zohaib Iqbal
2024	J	`jnl`	An automated model-based testing approach for the self-adaptive behavior of the unmanned aircraft system application software. Softw. Pract. Exp. Zainab Javed, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman, Atif Aftab Ahmed Jilani
2024	J	`jnl`	Automated System-level Testing of Unmanned Aerial Systems. CoRR Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2024	J	`jnl`	Automated system-level testing of unmanned aerial systems. Autom. Softw. Eng. Hassan Sartaj, Asmar Muqeet, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2024	J	`jnl`	Efficient Test Data Generation for MC/DC with OCL and Search. CoRR Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2023	J	`jnl`	Deriving and Evaluating a Detailed Taxonomy of Game Bugs. CoRR Nigar Azhar Butt, Salman Sherin, Muhammad Uzair Khan, Atif Aftab Jilani, Muhammad Zohaib Iqbal
2023	J	`jnl`	QExplore: An exploration strategy for dynamic web applications using guided search. J. Syst. Softw. Salman Sherin, Asmar Muqeet, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
2022	J	`jnl`	An automated search-based test model generation approach for structural testing of model transformations. J. Softw. Evol. Process. Atif Aftab Jilani, Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Muhammad Usman
2022	J	`jnl`	Deriving and evaluating a fault model for testing data science applications. J. Softw. Evol. Process. Atif Aftab Jilani, Salman Sherin, Sidra Ijaz, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2022	—	`conf`	Design and Comparison of Single Band Rectangular, Cylindrical, and Triangular DRA of C and X-Band Frequency. ICTC Muhammad Uzair Khan, Muhammad Sajjad Khan, Musyyab Yousufi, Junsu Kim, Noor Gul, Su Min Kim
2021	J	`jnl`	An automated model-based approach to repair test suites of evolving web applications. J. Syst. Softw. Javaria Imtiaz, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2021	J	`jnl`	Comparing coverage criteria for dynamic web application: An empirical evaluation. Comput. Stand. Interfaces Salman Sherin, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Atif Aftab Jilani
2021	A	`conf`	Machine Learning Based Recommendation System For Android Apps. ECAI Muhammad Uzair Khan, Rao Muhammad Umair Khalid, Syeda Airas Burhan, Muhammad Nauman
2021	J	`jnl`	Testing cockpit display systems of aircraft using a model-based approach. Softw. Syst. Model. Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2020	J	`jnl`	An automated model-based approach for unit-level performance test generation of mobile applications. J. Softw. Evol. Process. Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2020	J	`jnl`	CDST: A Toolkit for Testing Cockpit Display Systems of Avionics. CoRR Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2020	A	`conf`	CDST: A Toolkit for Testing Cockpit Display Systems. ICST Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2020	J	`jnl`	Labor-management negotiation conflict analysis based on soft preference relation. J. Intell. Fuzzy Syst. Muhammad Uzair Khan, Abbas Ali, Noor Rehman, Saleem Abdullah, Naim Çagman, Dong Yun Shin, Choonkil Park
2020	J	`jnl`	Soft ordered based multi-granulation rough sets and incomplete information system. J. Intell. Fuzzy Syst. Muhammad Uzair Khan, Abbas Ali, Noor Rehman, Saleem Abdullah
2019	A	`conf`	A Model-Based Testing Approach for Cockpit Display Systems of Avionics. MoDELS Muhammad Zohaib Iqbal, Hassan Sartaj, Muhammad Uzair Khan, Fitash Ul Haq, Ifrah Qaisar
2019	B	`conf`	A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints. SSBSE Hassan Sartaj, Muhammad Zohaib Iqbal, Atif Aftab Ahmed Jilani, Muhammad Uzair Khan
2019	J	`jnl`	A Systematic Literature Review of Test Breakage Prevention and Repair Techniques. CoRR Javaria Imtiaz, Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
2019	J	`jnl`	A Systematic Mapping Study on Testing of Machine Learning Programs. CoRR Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
2019	J	`jnl`	A systematic literature review of test breakage prevention and repair techniques. Inf. Softw. Technol. Javaria Imtiaz, Salman Sherin, Muhammad Uzair Khan, Muhammad Zohaib Iqbal
2019	J	`jnl`	AspectOCL: using aspects to ease maintenance of evolving constraint specification. Empir. Softw. Eng. Muhammad Uzair Khan, Hassan Sartaj, Muhammad Zohaib Iqbal, Muhammad Usman, Numra Arshad
2019	J	`jnl`	Chapter Three - Advances in Applications of Object Constraint Language for Software Engineering. Adv. Comput. Atif A. A. Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Muhammad Usman
2019	J	`jnl`	Landscaping Systematic Mapping Studies in Software Engineering: A Tertiary Study. CoRR Muhammad Uzair Khan, Salman Sherin, Muhammad Zohaib Iqbal, Rubab Zahid
2019	J	`jnl`	Landscaping systematic mapping studies in software engineering: A tertiary study. J. Syst. Softw. Muhammad Uzair Khan, Salman Sherin, Muhammad Zohaib Iqbal, Rubab Zahid
2018	J	`jnl`	Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing. Comput. Stand. Interfaces Muhammad Uzair Khan, Sidra Iftikhar, Muhammad Zohaib Iqbal, Salman Sherin
2017	J	`jnl`	A product-line model-driven engineering approach for generating feature-based mobile applications. J. Syst. Softw. Muhammad Usman, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2016	Misc	`conf`	Coverage Control Algorithm for Node Scheduling in Wireless Sensor Networks. FIT Muhammad Uzair Khan, Sarmad Feroze, Muhammad Zia
2015	A	`conf`	An automated model based testing approach for platform games. MoDELS Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, Wardah Mahmood
2015	B	`conf`	AspectOCL: Extending OCL for Crosscutting Constraints. ECMFA Muhammad Uzair Khan, Numra Arshad, Muhammad Zohaib Iqbal, Hafsa Umar
2015	B	`conf`	Empirical Evaluation of UML Modeling Tools-A Controlled Experiment. ECMFA Safdar Aqeel Safdar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2014	A	`conf`	A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines. ICSME Muhammad Uzair Khan, Muhammad Zohaib Iqbal, Shaukat Ali
2014	—	`conf`	A Model-Driven Approach to Generate Mobile Applications for Multiple Platforms. APSEC (1) Muhammad Usman, Muhammad Zohaib Z. Iqbal, Muhammad Uzair Khan
2014	—	`conf`	A Search Based Test Data Generation Approach for Model Transformations. ICMT Atif Aftab Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan
2012	—	`conf`	System Analysis and Modeling Using SysML. ICITCS Muzaffar Iqbal, Muhammad Uzair Khan, Muhammad Sher
2010	—	`conf`	Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL. FESCA@ETAPS Ludovic Henrio, Muhammad Uzair Khan
2010	—	`conf`	First Class Futures: Specification and Implementation of Update Strategies. Euro-Par Workshops Ludovic Henrio, Muhammad Uzair Khan, Nadia Ranaldo, Eugenio Zimeo
2009	—	`conf`	A Framework for Reasoning on Component Composition. FMCO Ludovic Henrio, Florian Kammüller, Muhammad Uzair Khan