Xiao He

According to our database, Xiao He authored at least 28 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fusing Direct Manipulations into Functional Programs.

Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu

Proc. ACM Program. Lang., January, 2024

Validity-Preserving Delta Debugging via Generator.

Luyao Ren, Xing Zhang, Ziyue Hua, Yanyan Jiang, Xiao He, Tao Xie

CoRR, 2024

2023

Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects.

Xing Zhang, Guanchen Guo, Xiao He, Zhenjiang Hu

Proc. ACM Program. Lang., April, 2023

2022

A theoretic framework of bidirectional transformation between systems and models.

Xiao He, Zhenjiang Hu, Na Meng

Sci. China Inf. Sci., 2022

Accelerating similarity-based model matching using on-the-fly similarity preserving hashing.

Xiao He, Letian Tang, Yutong Li

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

MerGen: A Smart Code Merging Approach for Automatically Generated Code.

Xiao He, Letian Tang, Yi Liu

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2020

Inferring and Applying Def-Use Like Configuration Couplings in Deployment Descriptors.

Chengyuan Wen, Yaxuan Zhang, Xiao He, Na Meng

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Testing high performance numerical simulation programs: experience, lessons learned, and open issues.

Xiao He, Xingwei Wang, Jia Shi, Yi Liu

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2019

Template-based model generation.

Xiao He, Tian Zhang, Minxue Pan, Zhiyi Ma, Changjun Hu

Softw. Syst. Model., 2019

2018

Testing bidirectional model transformation using metamorphic testing.

Xiao He, Xing Chen, Sibo Cai, Ying Zhang, Gang Huang

Inf. Softw. Technol., 2018

Putback-based bidirectional model transformations.

Xiao He, Zhenjiang Hu

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Analysis of the Evolution of the UML Metamodel.

Zhiyi Ma, Huihong He, Jinyang Liu, Xiao He

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

An Approach to Modeling Microservice Solutions.

Zhiyi Ma, Jinyang Liu, Xiao He

Proceedings of the Information Science and Applications 2018, 2018

SPESC: A Specification Language for Smart Contracts.

Xiao He, Bohan Qin, Yan Zhu, Xing Chen, Yi Liu

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Runtime Model Based Approach to Smart Home System Development.

Kaidong Wu, Xiao He, Xing Chen, Gang Huang

CoRR, 2017

Towards Variability Management in Bidirectional Model Transformation.

Xiao He, Zhenjiang Hu, Yi Liu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

A transformation-based approach to testing concurrent programs using UML activity diagrams.

Chang-Ai Sun, Yan Zhao, Lin Pan, Xiao He, Dave Towey

Softw. Pract. Exp., 2016

An MDE performance testing framework based on random model generation.

Xiao He, Tian Zhang, Changjun Hu, Zhiyi Ma, Weizhong Shao

J. Syst. Softw., 2016

Towards Parallel Model Generation for Random Performance Testing of Model-Oriented Operations.

Xiao He, Wenfeng Li, Tian Zhang, Yi Liu

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

Towards Model-Driven Variability-Based Flexible Service Compositions.

Xiao He, Yanmei Fu, Chang-Ai Sun, Zhiyi Ma, Weizhong Shao

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

A bidirectional-transformation-based framework for software visualization and visual editing.

Xiao He, Changjun Hu, Zhiyi Ma, Weizhong Shao

Sci. China Inf. Sci., 2014

Randomized Model Generation for Performance Testing of Model Transformations.

Xiao He, Tian Zhang, Zhiyi Ma, Weizhong Shao

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Detect and Analyze Flu Outlier Events via Social Network.

Quanquan Fu, Changjun Hu, Wenwen Xu, Xiao He, TieShan Zhang

Proceedings of the Web Technologies and Applications, 2014

2013

Assessing the quality of metamodels.

Zhiyi Ma, Xiao He, Chao Liu

Frontiers Comput. Sci., 2013

2011

VisTML: A Visual Modeling Language for Model Transformation.

Xiao He, Zhiyi Ma, Yi Liu, Hongjie Chen, Weizhong Shao

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2009

A Model Driven Development Platform for Service-Oriented Applications.

Zhiyi Ma, Xiao He, Lianghuan Kang

Proceedings of the 2009 IEEE World Congress on Services, Part II, 2009

On Model Transformation Reuse.

Xiao He, Zhiyi Ma, Yan Zhang, Weizhong Shao

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2007

A metamodel for the notation of graphical modeling languages.

Xiao He, Zhiyi Ma, Weizhong Shao, Ge Li

Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007