Jinqiu Wang

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Concurrent Programs

Process Algebra

Computer Architecture

Top Venues

SIGCOMM Posters and Demos

ACM Trans. Softw. Eng. Methodol.

ESEC/SIGSOFT FSE

Publications

Chang-Ai Sun, Hepeng Dai, Ning Geng, Huai Liu, Tsong Yueh Chen, Peng Wu, Yan Cai, Jinqiu Wang
An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Yuqi Guo, Zheheng Liang, Shihao Zhu, Jinqiu Wang, Zijiang Yang, Wuqiang Shen, Jinbo Zhang, Yan Cai
Sound Predictive Fuzzing for Multi-threaded Programs. COMPSAC (2023)
Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg
Sound and efficient concurrency bug prediction. ESEC/SIGSOFT FSE (2021)
Yu Zhou, Zhaowei Xi, Dai Zhang, Yangyang Wang, Jinqiu Wang, Mingwei Xu, Jianping Wu
HyperTester: high-performance network testing driven by programmable switches. CoNEXT (2019)
Zhaowei Xi, Yu Zhou, Dai Zhang, Jinqiu Wang, Sun Chen, Yangyang Wang, Xinrui Li, Haoming Wang, Jianping Wu
HyperGen: High-Performance Flexible Packet Generator Using Programmable Switching ASIC. SIGCOMM Posters and Demos (2019)