An approach to constructing feature models based on requirements clustering K Chen, W Zhang, H Zhao, H Mei 13th IEEE International Conference on Requirements Engineering (RE'05), 31-40, 2005 | 230 | 2005 |
Towards automatic model synchronization from model transformations Y Xiong, D Liu, Z Hu, H Zhao, M Takeichi, H Mei Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007 | 225 | 2007 |
A propositional logic-based method for verification of feature models W Zhang, H Zhao, H Mei Formal Methods and Software Engineering: 6th International Conference on …, 2004 | 205 | 2004 |
Supporting automatic model inconsistency fixing Y Xiong, Z Hu, H Zhao, H Song, M Takeichi, H Mei Proceedings of the 7th joint meeting of the European software engineering …, 2009 | 134 | 2009 |
Feature-driven requirement dependency analysis and high-level software design W Zhang, H Mei, H Zhao Requirements Engineering 11, 205-220, 2006 | 127 | 2006 |
A feature-oriented approach to modeling requirements dependencies W Zhang, H Mei, H Zhao 13th IEEE International Conference on Requirements Engineering (RE'05), 273-282, 2005 | 126 | 2005 |
Transformation from CIM to PIM: A feature-oriented component-based approach W Zhang, H Mei, H Zhao, J Yang Model Driven Engineering Languages and Systems: 8th International Conference …, 2005 | 126 | 2005 |
A software architecture centric engineering approach for Internetware H Mei, G Huang, H Zhao, W Jiao Science in China Series F: Information Sciences 49, 702-730, 2006 | 98 | 2006 |
A reinforcement learning-based framework for the generation and evolution of adaptation rules T Zhao, W Zhang, H Zhao, Z Jin 2017 IEEE international conference on autonomic computing (ICAC), 103-112, 2017 | 75 | 2017 |
Intellimerge: A refactoring-aware software merging technique B Shen, W Zhang, H Zhao, G Liang, Z Jin, Q Wang Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019 | 63 | 2019 |
A bdd-based approach to verifying clone-enabled feature models’ constraints and customization W Zhang, H Yan, H Zhao, Z Jin High Confidence Software Reuse in Large Systems: 10th International …, 2008 | 59 | 2008 |
Modelling and analysing resilient cyber-physical systems A Bennaceur, C Ghezzi, K Tei, T Kehrer, D Weyns, R Calinescu, ... 2019 IEEE/ACM 14th International Symposium on Software Engineering for …, 2019 | 44 | 2019 |
A use case based approach to feature models' construction B Wang, W Zhang, H Zhao, Z Jin, H Mei 2009 17th IEEE International Requirements Engineering Conference, 121-130, 2009 | 38 | 2009 |
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search Y Luo, XY Zhang, P Arcaini, Z Jin, H Zhao, F Ishikawa, R Wu, T Xie 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 37 | 2021 |
An optimization strategy to feature models’ verification by eliminating verification-irrelevant features and constraints H Yan, W Zhang, H Zhao, H Mei Formal Foundations of Reuse and Domain Engineering: 11th International …, 2009 | 36 | 2009 |
A metamodel for modeling system features and their refinement, constraint and interaction relationships H Mei, W Zhang, H Zhao Software & Systems Modeling 5, 172-186, 2006 | 28 | 2006 |
The impact of reasoning step length on large language models M Jin, Q Yu, D Shu, H Zhao, W Hua, Y Meng, Y Zhang, M Du arXiv preprint arXiv:2401.04925, 2024 | 26 | 2024 |
A dynamic-priority based approach to fixing inconsistent feature models B Wang, Y Xiong, Z Hu, H Zhao, W Zhang, H Mei Model Driven Engineering Languages and Systems: 13th International …, 2010 | 26 | 2010 |
Smartfixer: Fixing software configurations based on dynamic priorities B Wang, L Passos, Y Xiong, K Czarnecki, H Zhao, W Zhang Proceedings of the 17th International Software Product Line Conference, 82-90, 2013 | 25 | 2013 |
Mining binary constraints in the construction of feature models L Yi, W Zhang, H Zhao, Z Jin, H Mei 2012 20th IEEE International Requirements Engineering Conference (RE), 141-150, 2012 | 24 | 2012 |