Tianmin Hu

According to our database, Tianmin Hu authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

UPBEAT: Test Input Checks of Q# Quantum Libraries.

Tianmin Hu, Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Huanting Wang, Meng Li, Zheng Wang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

History-driven Compiler Fuzzing via Assembling and Scheduling Bug-triggering Code Segments.

Zhenye Fan, Guixin Ye, Tianmin Hu, Zhanyong Tang

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

2023

A Generative and Mutational Approach for Synthesizing Bug-Exposing Test Cases to Guide Compiler Fuzzing.

Guixin Ye, Tianmin Hu, Zhanyong Tang, Zhenye Fan, Shin Hwei Tan, Bo Zhang, Wenxiang Qian, Zheng Wang

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023