A systematic review of transformation approaches between user requirements and analysis models T Yue, LC Briand, Y Labiche Requirements engineering 16, 75-99, 2011 | 240 | 2011 |
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 | 182 | 2016 |
Facilitating the transition from use case models to analysis models: Approach and experiments T Yue, LC Briand, Y Labiche ACM Transactions on Software Engineering and Methodology (TOSEM) 22 (1), 1-38, 2013 | 154 | 2013 |
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 |
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 |
Uncertainty-wise cyber-physical system test modeling M Zhang, S Ali, T Yue, R Norgren, O Okariz Software & Systems Modeling 18, 1379-1418, 2019 | 112 | 2019 |
aToucan: an automated framework to derive UML analysis models from use case models T Yue, LC Briand, Y Labiche ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (3), 1-52, 2015 | 107 | 2015 |
An automated approach to transform use cases into activity diagrams T Yue, LC Briand, Y Labiche European Conference on Modelling Foundations and Applications, 337-353, 2010 | 98 | 2010 |
A use case modeling approach to facilitate the transition towards analysis models: Concepts and empirical evaluation T Yue, LC Briand, Y Labiche Model Driven Engineering Languages and Systems: 12th International …, 2009 | 97 | 2009 |
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 |
Traceability and SysML design slices to support safety inspections: A controlled experiment L Briand, D Falessi, S Nejati, M Sabetzadeh, T Yue ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 1-43, 2014 | 73 | 2014 |
Automated traceability analysis for UML model refinements LC Briand, Y Labiche, T Yue Information and Software Technology 51 (2), 512-527, 2009 | 70 | 2009 |
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 |
Empirical research in software engineering—a literature survey L Zhang, JH Tian, J Jiang, YJ Liu, MY Pu, T Yue Journal of Computer Science and Technology 33, 876-899, 2018 | 65 | 2018 |
SimPL: A product-line modeling methodology for families of integrated control systems R Behjati, T Yue, L Briand, B Selic Information and Software Technology 55 (3), 607-629, 2013 | 61 | 2013 |
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 | 55 | 2022 |
Muskit: A mutation analysis tool for quantum software testing E Mendiluze, S Ali, P Arcaini, T Yue 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 55 | 2021 |