An automated model based testing approach for platform games S Iftikhar, MZ Iqbal, MU Khan, W Mahmood 2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015 | 66 | 2015 |
A product-line model-driven engineering approach for generating feature-based mobile applications M Usman, MZ Iqbal, MU Khan Journal of Systems and Software 123, 1-32, 2017 | 49 | 2017 |
Landscaping systematic mapping studies in software engineering: A tertiary study MU Khan, S Sherin, MZ Iqbal, R Zahid Journal of Systems and Software 149, 396-436, 2019 | 48 | 2019 |
Empirical evaluation of UML modeling tools–a controlled experiment SA Safdar, MZ Iqbal, MU Khan Modelling Foundations and Applications: 11th European Conference, ECMFA 2015 …, 2015 | 42 | 2015 |
A Model-driven Approach to Generate Mobile Applications for Multiple Platforms M Usman, MZ Iqbal, MU Khan Software Engineering Conference (APSEC), 2014 21st Asia-Pacific 1, pp.111-118, 2014 | 42 | 2014 |
A systematic literature review of test breakage prevention and repair techniques J Imtiaz, S Sherin, MU Khan, MZ Iqbal Information and Software Technology 113, 1-19, 2019 | 37 | 2019 |
An automated model-based approach to repair test suites of evolving web applications J Imtiaz, MZ Iqbal Journal of Systems and Software 171, 110841, 2021 | 27 | 2021 |
QExplore: An exploration strategy for dynamic web applications using guided search S Sherin, A Muqeet, MU Khan, MZ Iqbal Journal of Systems and Software 195, 111512, 2023 | 22 | 2023 |
Aspectocl: using aspects to ease maintenance of evolving constraint specification MU Khan, H Sartaj, MZ Iqbal, M Usman, N Arshad Empirical Software Engineering 24, 2674-2724, 2019 | 20 | 2019 |
A search based test data generation approach for model transformations AA Jilani, MZ Iqbal, MU Khan Theory and Practice of Model Transformations: 7th International Conference …, 2014 | 19 | 2014 |
Testing cockpit display systems of aircraft using a model-based approach H Sartaj, MZ Iqbal, MU Khan Software and Systems Modeling, 1-26, 2021 | 18 | 2021 |
An evaluation of aspect oriented testing techniques SAA Naqvi, S Ali, MU Khan Proceedings of the IEEE Symposium on Emerging Technologies, 2005., 461-466, 2005 | 18 | 2005 |
A search-based approach to generate mc/dc test data for ocl constraints H Sartaj, MZ Iqbal, AAA Jilani, MU Khan Search-Based Software Engineering: 11th International Symposium, SSBSE 2019 …, 2019 | 17 | 2019 |
A framework for reasoning on component composition L Henrio, F Kammüller, MU Khan Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010 | 16 | 2010 |
A Model-Based Testing Approach for Cockpit Display Systems of Avionics MZ Iqbal, H Sartaj, MU Khan, FU Haq, I Qaisar 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 14 | 2019 |
Asynchronous components with futures: Semantics and proofs in isabelle/hol L Henrio, MU Khan Electronic Notes in Theoretical Computer Science 264 (1), 35-53, 2010 | 14 | 2010 |
An automated model‐based approach for unit‐level performance test generation of mobile applications M Usman, MZ Iqbal, MU Khan Journal of Software: Evolution and Process 32 (1), e2215, 2020 | 12 | 2020 |
Empirical studies omit reporting necessary details: A systematic literature review of reporting quality in model based testing MU Khan, S Iftikhar, MZ Iqbal, S Sherin Computer Standards & Interfaces, 2018 | 11 | 2018 |
First class futures: Specification and implementation of update strategies L Henrio, MU Khan, N Ranaldo, E Zimeo Euro-Par 2010 Parallel Processing Workshops, 295-303, 2011 | 11 | 2011 |
Comparing coverage criteria for dynamic web application: An empirical evaluation S Sherin, MZ Iqbal, MU Khan, AA Jilani Computer Standards & Interfaces 73, 103467, 2021 | 10 | 2021 |