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
6262010
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
223*2013
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model
M Zhang, B Selic, S Ali, T Yue, O Okariz, R Norgren
ECMFA, 2016
1792016
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
1462016
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
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
1192017
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
Uncertainty-Wise Cyber-Physical System test modeling
M Zhang, S Ali, T Yue, R Norgren, O Okariz
Software & Systems Modeling, 1-40, 2017
1102017
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
1092020
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
982012
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
972014
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
812021
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
722010
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
672011
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
Assessing the effectiveness of input and output coverage criteria for testing quantum programs
S Ali, P Arcaini, X Wang, T Yue
2021 14th IEEE Conference on Software Testing, Verification and Validation …, 2021
632021
When software engineering meets quantum computing
S Ali, T Yue, R Abreu
Communications of the ACM 65 (4), 84-88, 2022
542022
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
532015
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
512008
The system can't perform the operation now. Try again later.
Articles 1–20