Obserwuj
Uzair Khan
Tytuł
Cytowane przez
Cytowane przez
Rok
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
602015
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
472017
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
422014
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
412015
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
402019
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
312019
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
202021
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
182014
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
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
162010
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
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
122019
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
122019
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
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
112011
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
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
92023
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
92020
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20