Publications

• Property-Based Testing of Wafer Handling Robots via Model-Based Planning and Fuzzing
  • Ruiyang Xu, Jingjing Liang*, Guoyue Zheng, Geguang Pu, Ting Su*
  • ASE 2026, pdf, tool
  • * Corresponding Author
• Finding and Understanding Missed Optimizations in WebAssembly Optimizer
  • Ruiyang Xu#, Zetao Fan#, Shan Huang, Ting Su*
  • ISSTA 2026, pdf, tool
  • # Equal Contribution, * Corresponding Author
• IFSE: Taming Closed-box Functions in Symbolic Execution via Fuzz Solving
  • Qichang Wang#, Chuyang Chen#, Ruiyang Xu, Haiying Sun*, Chengcheng Wan, Ting Su*, Yueling Zhang, Geguang Pu
  • 47th International Conference on Software Engineering
  • ICSE 2025 (Demo Track), pdf, tool, video
  • # Equal Contribution, * Corresponding Author

Back to home