| 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 | 628 | 2010 |
| 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 | 225* | 2013 |
| Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model M Zhang, B Selic, S Ali, T Yue, O Okariz, R Norgren ECMFA, 2016 | 181 | 2016 |
| 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 | 166 | 2007 |
| 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 | 146 | 2016 |
| 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 | 129 | 2013 |
| 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 | 122 | 2017 |
| 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 | 122 | 2015 |
| 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 | 112 | 2020 |
| Uncertainty-Wise Cyber-Physical System test modeling M Zhang, S Ali, T Yue, R Norgren, O Okariz Software & Systems Modeling, 1-40, 2017 | 112 | 2017 |
| 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 | 98 | 2014 |
| 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 | 98 | 2012 |
| 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 | 86 | 2021 |
| 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 | 72 | 2010 |
| 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 | 67 | 2021 |
| 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 | 67 | 2011 |
| 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 | 66 | 2016 |
| When software engineering meets quantum computing S Ali, T Yue, R Abreu Communications of the ACM 65 (4), 84-88, 2022 | 61 | 2022 |
| Muskit: A Mutation Analysis Tool for Quantum Software Testing E Mendiluze, S Ali, P Arcaini, T Yue | 54* | |
| 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 | 53 | 2015 |
Tao YueBeihang UniversityVerified email at buaa.edu.cn