He Xiao
2006年毕业于北京大学,获得计算机科学与技术专业理学学士学位。2012年毕业于北京大学,获得计算机软件与理论专业理学博士学位。2012年7月进入kaiyun体育登录网页入口工作。2015年至2016年赴荷兰格罗宁根大学做访问学者。
[1] Xiao He, Zhenjiang Hu.Putback-Based Bidirectional Model Transformation. The 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE’18). Accepted for publication. CCF A
[2] Xiao He, Xing Chen, Sibo Cai, Ying Zhang, Gang Huang. Testing Bidirectional Model Transformation Using Metamorphic Testing. Information and Software Technology. (Accepted for publication). CCF B (JCR 2/2018)
[3] He Xiao, Zhang Tian, Hu Changjun, Ma Zhiyi, Weizhong Shao. An MDE Performance Testing Framework Based on Random Model Generation. Journal of Systems and Software, 2016, 121: 247-264. EI: 20162002402635, SCI:WOS:000384864500018. CCF B (JCR 2/2017)
[4] He Xiao, Zhang Tian, Pan Minxue, Ma Zhiyi, Hu Changjun. Template-based Model Generation. Software and Systems Modeling. 2017. (In Press). EI: 20174804477969. CCF B
[5] Xiao He, Paris Avgeriou, Peng Liang, Zengyang Li. Technical Debt in MDE: A Case Study on GMF/EMF-Based Projects. ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. October 02-07, 2016, pp. 162-172, Saint-Malo, France. http://dx.doi.org/10.1145/2976767.2976806. EI: 20170203232675. CCF B (The top conference of MDE)
[6] He Xiao, Hu Changjun, Ma Zhiyi, Shao Weizhong. A bidirectional-transformation-based framework for software visualization and visual editing. SCIENCE CHINA Information Sciences, 2014, 57(5): 1-23. EI: 20141817671210, SCI:WOS:000334860600013. CCF B
[7] Xiao He, Zhenjiang Hu, Yi Liu. Towards Variability Management in Bidirectional Model Transformation. The 41st Annual International Computers, Software & Application Conference (COMPSAC’17). July 4-8, 2017, pp. 224-233, Torino, Italy. EI: 20174304307016. CCF C
[8] He Xiao, Li Wenfeng, Zhang Tian, Liu Yi. Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations. The 10th International Symposium on Theoretical Aspects of Software Engineering, 2016, pp. 57-64. EI: 20163902830789. CCF C
主持国家自然科学基金项目《模型转换静态验证方法研究》