Clone wiki

morel / Home

XMU Wiki: the language description and examples

XMU2: the language description and examples

XMU3: XMU core presented in the FSE paper


  • 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 (Please find more information about the evaluation here. The prototype testing framework can be founded here.)
  • 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 (FSE’18). Accepted for publication. CCF A (the proof of the theorem in the paper)
  • 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
  • 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