Follow
Shaukat Ali
Title
Cited by
Cited by
Year
A systematic review of the application and empirical investigation of search-based test case generation
S Ali, LC Briand, H Hemmati, RK Panesar-Walawege
Software Engineering, IEEE Transactions on 36 (6), 742-762, 2010
5962010
Generating Test Data from OCL Constraints with Search Techniques
S Ali, MZ Iqbal, A Arcuri, L Briand
IEEE Transactions on Software Engineering 39 (10), 1376 - 1402, 2013
218*2013
A state-based approach to integration testing based on UML models
S Ali, LC Briand, MJ Rehman, H Asghar, MZZ Iqbal, A Nadeem
Information and Software Technology 49 (11-12), 1087-1106, 2007
1642007
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model
M Zhang, B Selic, S Ali, T Yue, O Okariz, R Norgren
ECMFA, 2016
1612016
A practical guide to select quality indicators for assessing pareto-based search algorithms in search-based software engineering
S Wang, S Ali, T Yue, Y Li, M Liaaen
Proceedings of the 38th International Conference on Software Engineering …, 2016
1322016
Minimizing test suites in software product lines using weight-based genetic algorithms
S Wang, S Ali, A Gotlieb
Proceedings of the 15th annual conference on Genetic and evolutionary …, 2013
1292013
Cost-effective test suite minimization in product lines using search techniques
S Wang, S Ali, A Gotlieb
Journal of Systems and Software 103, 370-391, 2015
1092015
Uncertainty-Wise Cyber-Physical System test modeling
M Zhang, S Ali, T Yue, R Norgren, O Okariz
Software & Systems Modeling, 1-40, 2017
972017
Model-Based Security Engineering for Cyber-Physical Systems: A Systematic Mapping Study
PH Nguyen, S Ali, T Yue
Information and Software Technology 83, 116-135, 2017
962017
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
S Ali, LC Briand, H Hemmati
Software & Systems Modeling 11 (4), 633-670, 2012
962012
Multi-objective test prioritization in software product line testing: an industrial case study
S Wang, D Buchmann, S Ali, A Gotlieb, D Pradhan, M Liaaen
Proceedings of the 18th International Software Product Line Conference …, 2014
932014
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems
A Calo, P Arcaini, S Ali, F Hauer, F Ishikawa
IEEE 13th International Conference on Software Testing, Validation and …, 2020
732020
An enhanced test case selection approach for model-based testing: an industrial case study
H Hemmati, L Briand, A Arcuri, S Ali
Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010
672010
Automated transition from use cases to UML state machines to support state-based testing
T Yue, S Ali, L Briand
European Conference on Modelling Foundations and Applications, 115-131, 2011
622011
Enhancing test case prioritization in an industrial setting with resource awareness and multi-objective search
S Wang, S Ali, T Yue, Ų Bakkeli, M Liaaen
Proceedings of the 38th International Conference on Software Engineering …, 2016
602016
Experiences of applying UML/MARTE on three industrial projects
MZ Iqbal, S Ali, T Yue, L Briand
International Conference on Model Driven Engineering Languages and Systems …, 2012
502012
Automated discovery of state transitions and their functions in source code
N Walkinshaw, K Bogdanov, S Ali, M Holcombe
Software Testing, Verification and Reliability 18 (2), 99-121, 2008
502008
Model transformations as a strategy to automate model-based testing-a tool and industrial case studies
S Ali, H Hemmati, NE Holt, E Arisholm, L Briand
Simula Research Laboratory, Technical Report (2010-01), 2010
492010
Constraints: The core of supporting automated product configuration of cyber-physical systems
K Nie, T Yue, S Ali, L Zhang, Z Fan
International Conference on Model Driven Engineering Languages and Systems …, 2013
472013
RTCM: a natural language based, automated, and practical test case generation framework
T Yue, S Ali, M Zhang
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
462015
The system can't perform the operation now. Try again later.
Articles 1–20