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
6122010
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
221*2013
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model
M Zhang, B Selic, S Ali, T Yue, O Okariz, R Norgren
ECMFA, 2016
1752016
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
1652007
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
1422016
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
1312013
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
1192015
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
1062017
Uncertainty-Wise Cyber-Physical System test modeling
M Zhang, S Ali, T Yue, R Norgren, O Okariz
Software & Systems Modeling, 1-40, 2017
1052017
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
982014
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
972012
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
922020
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
702010
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
652016
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
Digital Twin-based Anomaly Detection in Cyber-physical Systems
Q Xu, S Ali, T Yue
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
522021
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
512012
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
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
492013
U-test: Evolving, modelling and testing realistic uncertain behaviours of cyber-physical systems
S Ali, T Yue
2015 IEEE 8th International Conference on Software Testing, Verification and …, 2015
482015
The system can't perform the operation now. Try again later.
Articles 1–20