Wensheng Tang

最新

• LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems
• Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems
• Skeletal Approximation Enumeration for SMT Solver Testing
• Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration