[Jun 1, 2024] Photo with Algorithm Team
Published:
This photo was taken with my algorithm coach (Qiong wang) and team members (Ji Runmin, Yang Dayu, etc.). 
Posts by Collection
portfolio
[Aug. 9, 2025] Photo with Xiaowen Zhang
Published:
This is a photo with my girlfriend, Xiaowen Zhang. We met on July 9th, 2025, in Xuzhou, and immediately fell in love. I love her deeply, even though distance sometimes separates us. My goal is that after I finish my Ph.D., I will marry her, buy a big house, share every meal together, and take walks every night.
[Sep. 10, 2025] Photo with Zibin Zheng & Others
Published:
This is the first photo with my supervisor, Prof. Zibin Zheng, and other group members after I joined the inpluslab on Aug. 2024. I am looking forward to working with them on exciting research projects in the future.
[October 16, 2025] Wuhan Traveling SnapShots
Published:
This photo was taken by my GirlFriend, Xiaowen Zhang in Hankou Reverside Park. We travelled to Wuhan, China from October 13th to 20th. 
publications
VRExplorer: A Model-based Approach for Semi-Automated Testing of Virtual Reality Scenes
Published in the 40th IEEE/ACM Automated Software Engineering Conference (ASE 2025) , 2025
VRExplorer is a model-based tool for semi-automated testing of VR scenes, using the EAT framework to handle diverse interactions and probabilistic exploration, achieving higher coverage and efficiency than state-of-the-art methods.
Recommended citation: Zhengyang Zhu, Hong-Ning Dai, Hanyang Guo, Zeqin Liao, Zibin Zheng. "VRExplorer: A Model-based Approach for Semi-Automated Testing of Virtual Reality Scenes." the 40th IEEE/ACM Automated Software Engineering Conference (ASE 2025).
Download Paper
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown file that can be all markdown-ified like any other post. Yay markdown!
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Algorithm and Data Structure (Python Version)
Undergraduate course, Baoyandao, Python Group, 2025