Wensheng Tang -

Registered user since Thu 25 Apr 2019

Name:Wensheng Tang

Country:Hong Kong SAR China

Affiliation:Huawei

Research interests:Software Analysis, Program Synthesis, Software Testing

Contributions

2024

ICSE

Author of LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems within the Research Track-track

2023

ASE

Author of DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems within the Research Papers-track

ECOOP

Author of Synthesizing Conjunctive Queries for Code Search within the Research Papers-track

2022

SPLASH

Author of Complexity-guided container replacement synthesis within the OOPSLA-track

2021

ASE

Author of Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems within the Research Papers-track

ESEC/FSE

Author of Skeletal Approximation Enumeration for SMT Solver Testing within the Research Papers-track

ISSTA

Author of Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration within the Technical Papers-track

2019

ISSTA

Author of Identifying Error Code Misuses in Complex System within the Doctoral Symposium -track