Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. - Ting Su 001; Yichen Yan; Jue Wang; Jingling Sun; Yiheng Xiong; Geguang Pu; Ke Wang 022; Zhendong Su 001 (Proc. ACM Program. Lang., 2021)

An Empirical Study of Functional Bugs in Android Apps. - Yiheng Xiong; Mengqian Xu; Ting Su 001; Jingling Sun; Jue Wang; He Wen; Geguang Pu; Jifeng He 001; Zhendong Su 001 (ISSTA, 2023)

Prior-RadGraphFormer: A Prior-Knowledge-Enhanced Transformer for Generating Radiology Graphs from X-Rays. - Yiheng Xiong; Jingsong Liu; Kamilia Zaripova; Sahand Sharifzadeh; Matthias Keicher; Nassir Navab (GRAIL/OCELOT@MICCAI, 2023)

PT43D: A Probabilistic Transformer for Generating 3D Shapes from Single Highly-Ambiguous RGB Images. - Yiheng Xiong; Angela Dai (BMVC, 2024)

General and Practical Property-based Testing for Android Apps. - Yiheng Xiong; Ting Su 001; Jue Wang; Jingling Sun; Geguang Pu; Zhendong Su 001 (ASE, 2024)

ProphetAgent: Automatically Synthesizing GUI Tests from Test Cases in Natural Language for Mobile Apps. - Qichao Kong; Zhengwei Lv; Yiheng Xiong; Dingchun Wang; Jingling Sun; Ting Su 001; Letao Li; Xu Yang; Gang Huo (SIGSOFT FSE Companion, 2025)