Follow
Uzair Khan
Title
Cited by
Cited by
Year
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
552015
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
452017
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
412014
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
392015
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
342019
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
302019
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
182010
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
182005
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
162021
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
162014
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
142019
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
142010
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
132011
Testing cockpit display systems of aircraft using a model-based approach
H Sartaj, MZ Iqbal, MU Khan
Software and Systems Modeling, 1-26, 2021
122021
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
112019
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
112018
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
102019
AspectOCL: Extending OCL for crosscutting constraints
MU Khan, N Arshad, MZ Iqbal, H Umar
Modelling Foundations and Applications: 11th European Conference, ECMFA 2015 …, 2015
102015
Advances in Applications of Object Constraint Language for Software Engineering
AA Jilani, MZ Iqbal, MU Khan, M Usman
Advances in Computers 112, 135-184, 2019
82019
A Heuristic-Based Approach to Refactor Crosscutting Behaviors in UML State Machines
MU Khan, MZ Iqbal, S Ali
Software Maintenance and Evolution (ICSME), 2014 IEEE International …, 2014
82014
The system can't perform the operation now. Try again later.
Articles 1–20