Haoxin Tu

14 papers A* 1A 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Lemma Discovery in Agentic Program Verification.
CoRR
Huan Zhao, Haoxin Tu, Zhengyao Liu, Martin Rinard, Abhik Roychoudhury
2025 J jnl
Agentic Program Verification.
CoRR
Haoxin Tu, Huan Zhao, Yahui Song, Mehtab Zafar, Ruijie Meng, Abhik Roychoudhury
2025 J jnl
Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation.
CoRR
Haoxin Tu, Seongmin Lee, Yuxian Li, Peng Chen, Lingxiao Jiang, Marcel Böhme
2024 — conf
Beyond a Joke: Dead Code Elimination Can Delete Live Code.
NIER@ICSE
Haoxin Tu, Lingxiao Jiang, Debin Gao, He Jiang
2024 J jnl
Concretely Mapped Symbolic Memory Locations for Memory Error Detection.
IEEE Trans. Software Eng.
Haoxin Tu, Lingxiao Jiang, Jiaqi Hong, Xuhua Ding, He Jiang
2024 J jnl
Isolating Compiler Bugs by Generating Effective Witness Programs With Large Language Models.
IEEE Trans. Software Eng.
Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, Lingxiao Jiang
2024 J jnl
Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search.
CoRR
Haoxin Tu, Lingxiao Jiang, Marcel Böhme
2023 — conf
Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation.
ICSE Companion
Haoxin Tu
2023 J jnl
Detecting C++ Compiler Front-End Bugs via Grammar Mutation and Differential Testing.
IEEE Trans. Reliab.
Haoxin Tu, He Jiang, Zhide Zhou, Yixuan Tang, Zhilei Ren, Lei Qiao, Lingxiao Jiang
2023 A* conf
KRover: A Symbolic Execution Engine for Dynamic Kernel Analysis.
CCS
Pansilu Pitigalaarachchi, Xuhua Ding, Haiqing Qiu, Haoxin Tu, Jiaqi Hong, Lingxiao Jiang
2023 J jnl
LLM4CBI: Taming LLMs to Generate Effective Test Programs for Compiler Bug Isolation.
CoRR
Haoxin Tu, Zhide Zhou, He Jiang, Imam Nur Bani Yusuf, Yuxian Li, Lingxiao Jiang
2023 J jnl
PRI: PCH-based privacy-preserving with reusability and interoperability for enhancing blockchain scalability.
J. Parallel Distributed Comput.
Yuxian Li, Jian Weng, Wei Wu, Ming Li, Yingjiu Li, Haoxin Tu, Yongdong Wu, Robert H. Deng
2022 — conf
FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers.
ESEC/SIGSOFT FSE
Haoxin Tu, Lingxiao Jiang, Xuhua Ding, He Jiang
2022 A conf
Remgen: Remanufacturing a Random Program Generator for Compiler Testing.
ISSRE
Haoxin Tu, He Jiang, Xiaochen Li, Zhilei Ren, Zhide Zhou, Lingxiao Jiang