My research is in the area of software engineering and formal methods, precisely on concurrency and cloud computing.
- Xiaodong Zhang, Zijiang Yang, Qinghua Zheng, Pei Liu, Jialiang Chang, Yu Hao and Ting Liu. Automated Testing of Definition-Use Data Flow for Multithreaded Programs. The 10th IEEE International Conference on Software Testing, Verification and Validation (ICST), March 13-18, 2017. Tokyo, Japan.
- Lin Cheng, Jialiang Chang, Zijiang Yang and Chao Wang. GUICat: GUI Testing as a Service. The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), September 3-7, 2016. Singapore. Tool Paper.