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

Published with Wowchemy — the free, open source website builder that empowers creators.