Nenghui Hu

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Parallel Algorithm

Test Generation

Symbolic Execution

Top Venues

Publications

Nenghui Hu, Zheng Bian, Ziqi Shuai, Zhenbang Chen, Yufeng Zhang
Symbolic Execution of MPI Programs with One-Sided Communications. APSEC (2023)