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 | 226* | 2013 |
Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model M Zhang, B Selic, S Ali, T Yue, O Okariz, R Norgren ECMFA, 2016 | 182 | 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 | 147 | 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 | 131 | 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 | 123 | 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 | 123 | 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 | 116 | 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 | 100 | 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 | 88 | 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 |
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 | 68 | 2011 |
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 |
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 | 67 | 2016 |
When software engineering meets quantum computing S Ali, T Yue, R Abreu Communications of the ACM 65 (4), 84-88, 2022 | 65 | 2022 |
Learning Configurations of Operating Environment of Autonomous Vehicles to Maximize their Collisions C Lu, Y Shi, H Zhang, M Zhang, T Wang, T Yue, S Ali IEEE Transactions on Software Engineering, 2022 | 55 | 2022 |
Muskit: A Mutation Analysis Tool for Quantum Software Testing E Mendiluze, S Ali, P Arcaini, T Yue | 55* | |