Yuexing Wang

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 9

Top Topics

Fault Detection

Static Analysis

Differential Evolution

Top Venues

IEEE Trans. Evol. Comput.

Publications

Chi Li, Yuexing Wang, Min Zhou, Ming Gu
Scalable Fault Detection Based on Precise Access Path. APSEC (2021)
Yuexing Wang, Min Zhou, Ming Gu, Jiaguang Sun
Necessity and Capability of Flow, Context, Field and Quasi Path Sensitive Points-to Analysis. APSEC (2019)
Chi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu
VBSAC: a value-based static analyzer for C. ISSTA (2019)
Guang Chen, Yuexing Wang, Min Zhou, Jiaguang Sun
VFQL: combinational static analysis as query language. ISSTA (2019)
Yuexing Wang, Guang Chen, Min Zhou, Ming Gu, Jiaguang Sun
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis. ASE (2019)
Yuexing Wang, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
Constructing Cost-Aware Functional Test-Suites Using Nested Differential Evolution Algorithm. IEEE Trans. Evol. Comput. 22 (3) (2018)
Yuexing Wang, Zuxing Gu, Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, Jiaguang Sun
A Constraint-Pattern Based Method for Reachability Determination. COMPSAC (1) (2017)
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
A static analysis tool with optimizations for reachability determination. ASE (2017)
Yuexing Wang
Research on Matrix Multiplication Based on the Combination of OpenACC and CUDA. GSES (2016)