Remgen: Remanufacturing a Random Program Generator for Compiler Testing. - Haoxin Tu; He Jiang 001; Xiaochen Li; Zhilei Ren; Zhide Zhou; Lingxiao Jiang (ISSRE, 2022)

FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers. - Haoxin Tu; Lingxiao Jiang; Xuhua Ding; He Jiang 001 (ESEC/SIGSOFT FSE, 2022)

KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis. - Pansilu Pitigalaarachchi; Xuhua Ding; Haiqing Qiu; Haoxin Tu; Jiaqi Hong; Lingxiao Jiang (CCS, 2023)

Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation. - Haoxin Tu (ICSE Companion, 2023)

LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler Bug Isolation. - Haoxin Tu; Zhide Zhou; He Jiang 001; Imam Nur Bani Yusuf; Yuxian Li; Lingxiao Jiang (CoRR, 2023)

PRI: PCH-based privacy-preserving with reusability and interoperability for enhancing blockchain scalability. - Yuxian Li; Jian Weng 001; Wei Wu 001; Ming Li 049; Yingjiu Li; Haoxin Tu; Yongdong Wu; Robert H. Deng (J. Parallel Distributed Comput., 2023)

Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing. - Haoxin Tu; He Jiang 001; Zhide Zhou; Yixuan Tang; Zhilei Ren; Lei Qiao 002; Lingxiao Jiang (IEEE Trans. Reliab., 2023)

Beyond a Joke: Dead Code Elimination Can Delete Live Code. - Haoxin Tu; Lingxiao Jiang; Debin Gao; He Jiang 001 (NIER@ICSE, 2024)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search. - Haoxin Tu; Lingxiao Jiang; Marcel Böhme (CoRR, 2024)

Concretely Mapped Symbolic Memory Locations for Memory Error Detection. - Haoxin Tu; Lingxiao Jiang; Jiaqi Hong; Xuhua Ding; He Jiang 001 (IEEE Trans. Software Eng., 2024)

Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models. - Haoxin Tu; Zhide Zhou; He Jiang 001; Imam Nur Bani Yusuf; Yuxian Li; Lingxiao Jiang (IEEE Trans. Software Eng., 2024)

Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation. - Haoxin Tu; Seongmin Lee 001; Yuxian Li; Peng Chen; Lingxiao Jiang; Marcel Böhme (CoRR, 2025)