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 | 626 | 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 | 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 | 179 | 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 | 165 | 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 | 119 | 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 | 119 | 2015 |
Uncertainty-Wise Cyber-Physical System test modeling M Zhang, S Ali, T Yue, R Norgren, O Okariz Software & Systems Modeling, 1-40, 2017 | 110 | 2017 |
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 | 109 | 2020 |
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 |
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 | 97 | 2014 |
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 | 81 | 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 | 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 | 65 | 2016 |
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 | 63 | 2021 |
When software engineering meets quantum computing S Ali, T Yue, R Abreu Communications of the ACM 65 (4), 84-88, 2022 | 54 | 2022 |
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 |
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 | 51 | 2008 |