| Towards automatic model synchronization from model transformations Y Xiong, D Liu, Z Hu, H Zhao, M Takeichi, H Mei Proceedings of the twenty-second IEEE/ACM international conference on …, 2007 | 200 | 2007 |
| From state-to delta-based bidirectional model transformations: the symmetric case Z Diskin, Y Xiong, K Czarnecki, H Ehrig, F Hermann, F Orejas Model Driven Engineering Languages and Systems, 304-318, 2011 | 171 | 2011 |
| Model synchronization based on triple graph grammars: correctness, completeness and invertibility F Hermann, H Ehrig, F Orejas, K Czarnecki, Z Diskin, Y Xiong, ... Software & Systems Modeling 14 (1), 241-269, 2015 | 127* | 2015 |
| Precise condition synthesis for program repair Y Xiong, J Wang, R Yan, J Zhang, S Han, G Huang, L Zhang 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 126 | 2017 |
| Range Fixes: Interactive Error Resolution for Software Configuration Y Xiong, H Zhang, A Hubaux, S She, J Wang, K Czarnecki IEEE Transactions on Software Engineering, 2014 | 119* | 2014 |
| Supporting automatic model inconsistency fixing Y Xiong, Z Hu, H Zhao, H Song, M Takeichi, H Mei Proceedings of the the 7th joint meeting of the European software …, 2009 | 110* | 2009 |
| Boosting bug-report-oriented fault localization with segmentation and stack-trace analysis CP Wong, Y Xiong, H Zhang, D Hao, L Zhang, H Mei 2014 IEEE International Conference on Software Maintenance and Evolution …, 2014 | 89 | 2014 |
| Synchronizing concurrent model updates based on bidirectional transformation Y Xiong, H Song, Z Hu, M Takeichi Software and Systems Modeling, 1-16, 2011 | 76* | 2011 |
| Supporting runtime software architecture: A bidirectional-transformation-based approach H Song, G Huang, F Chauvel, Y Xiong, Z Hu, Y Sun, H Mei Journal of Systems and Software 84 (5), 711-723, 2011 | 74 | 2011 |
| Specifying overlaps of heterogeneous models for global consistency checking Z Diskin, Y Xiong, K Czarnecki Proceedings of the First International Workshop on Model-Driven …, 2010 | 71 | 2010 |
| Safe Memory-Leak Fixing for C Programs Q Gao, Y Xiong, Y Mi, L Zhang, W Yang, Z Zhou, B Xie, H Mei ICSE, 2015 | 68 | 2015 |
| A user survey of configuration challenges in Linux and eCos A Hubaux, Y Xiong, K Czarnecki Proceedings of the Sixth International Workshop on Variability Modeling of …, 2012 | 63 | 2012 |
| Generating synchronization engines between running systems and their model-based views H Song, Y Xiong, F Chauvel, G Huang, Z Hu, H Mei Models in Software Engineering, 2009 | 63* | 2009 |
| Fixing Recurring Crash Bugs via Analyzing Q&A Sites Q Gao, H Zhang, J Wang, Y Xiong, L Zhang, H Mei ASE, 2015 | 61 | 2015 |
| Shaping program repair space with existing patches and similar code J Jiang, Y Xiong, H Zhang, Q Gao, X Chen Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 59 | 2018 |
| Identifying patch correctness in test-based program repair Y Xiong, X Liu, M Zeng, L Zhang, G Huang Proceedings of the 40th International Conference on Software Engineering …, 2018 | 57* | 2018 |
| How Does Web Service API Evolution Affect Clients? J Li, Y Xiong, X Liu, L Zhang ICWS, 2013 | 54 | 2013 |
| Search-based inference of polynomial metamorphic relations J Zhang, J Chen, D Hao, Y Xiong, B Xie, L Zhang, H Mei Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014 | 46 | 2014 |
| A study of non-boolean constraints in variability models of an embedded operating system L Passos, M Novakovic, Y Xiong, T Berger, K Czarnecki, A Wasowski Proceedings of the 15th International Software Product Line Conference, 2, 2011 | 43 | 2011 |
| An empirical comparison of compiler testing techniques J Chen, W Hu, D Hao, Y Xiong, H Zhang, L Zhang, B Xie Proceedings of the 38th International Conference on Software Engineering …, 2016 | 40 | 2016 |
Lu ZhangPeking UniversityVerified email at sei.pku.edu.cn
