| Understanding uncertainty in cyber-physical systems: a conceptual model M Zhang, B Selic, S Ali, T Yue, O Okariz, R Norgren Modelling Foundations and Applications: 12th European Conference, ECMFA 2016 …, 2016 | 177 | 2016 |
| Uncertainty-wise cyber-physical system test modeling M Zhang, S Ali, T Yue, R Norgren, O Okariz Software & Systems Modeling 18, 1379-1418, 2019 | 106 | 2019 |
| Uncertainty-wise test case generation and minimization for cyber-physical systems M Zhang, S Ali, T Yue Journal of Systems and Software 153, 1-21, 2019 | 49 | 2019 |
| 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 | 48 | 2015 |
| Specifying uncertainty in use case models M Zhang, T Yue, S Ali, B Selic, O Okariz, R Norgre, K Intxausti Journal of Systems and Software 144, 573-603, 2018 | 38 | 2018 |
| 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 49 (1), 384-402, 2022 | 37 | 2022 |
| Resource-based test case generation for restful web services M Zhang, B Marculescu, A Arcuri Proceedings of the genetic and evolutionary computation conference, 1426-1434, 2019 | 37 | 2019 |
| A systematic approach to automatically derive test cases from use cases specified in restricted natural languages M Zhang, T Yue, S Ali, H Zhang, J Wu System Analysis and Modeling: Models and Reusability: 8th International …, 2014 | 37 | 2014 |
| Uncertainty-wise evolution of test ready models M Zhang, S Ali, T Yue, R Norgre Information and Software Technology 87, 140-159, 2017 | 26 | 2017 |
| EvoMaster: A search-based system test generation tool A Arcuri, JP Galeotti, B Marculescu, M Zhang Journal of Open Source Software, 2021 | 25 | 2021 |
| Resource and dependency based test case generation for RESTful Web services M Zhang, B Marculescu, A Arcuri Empirical Software Engineering 26 (4), 76, 2021 | 23 | 2021 |
| Testing restful apis: A survey A Golmohammadi, M Zhang, A Arcuri ACM Transactions on Software Engineering and Methodology 33 (1), 1-41, 2023 | 21 | 2023 |
| Adaptive hypermutation for search-based system test generation: A study on REST APIs with EvoMaster M Zhang, A Arcuri ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (1), 1-52, 2021 | 20 | 2021 |
| Uncertainty-wise testing of cyber-physical systems S Ali, H Lu, S Wang, T Yue, M Zhang Advances in Computers 107, 23-94, 2017 | 19 | 2017 |
| On the faults found in rest apis by automated test generation B Marculescu, M Zhang, A Arcuri ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (3), 1-43, 2022 | 18 | 2022 |
| Open problems in fuzzing restful apis: A comparison of tools M Zhang, A Arcuri ACM Transactions on Software Engineering and Methodology 32 (6), 1-45, 2023 | 17 | 2023 |
| Uncertainty-wise requirements prioritization with search H Zhang, M Zhang, T Yue, S Ali, Y Li ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (1), 1-54, 2020 | 16 | 2020 |
| Uncertainty-based Test Case Generation and Minimization for Cyber-Physical Systems: A Multi-Objective Search-based Approach M Zhang, S Ali, T Yue, M Hedman Simula Research Laboratory, 2016 | 15 | 2016 |
| JavaScript instrumentation for search-based software testing: A study with RESTful APIs M Zhang, A Belhadi, A Arcuri 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 13 | 2022 |
| Evolutionary-based automated testing for GraphQL APIs A Belhadi, M Zhang, A Arcuri Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2022 | 11 | 2022 |
Shaukat AliSimula Research Laboratory在 simula.no 的电子邮件经过验证
Shaukat AliSimula Research Laboratory在 simula.no 的电子邮件经过验证
Tao YueBeihang University在 buaa.edu.cn 的电子邮件经过验证
Bran SelicMalina Software Corp.在 acm.org 的电子邮件经过验证