Chengnian Sun
Chengnian Sun
Home
Publications
Teaching
Grants
Awards
Students
Activities
Experience
Contact
Light
Dark
Automatic
Yu Jiang
Latest
On the Caching Schemes to Speed Up Program Reduction
PPR: Pairwise Program Reduction
Building Dynamic System Call Sandbox with Partial Order Analysis
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
CoopHance: Cooperative Enhancement for Robustness of Deep Learning System
Finding Deviated Behaviors of Compressed DNN Models for Image Classifications
RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing
Empirical Evaluation of Smart Contract Testing: What is the Best Choice?
VisFuzz: Understanding and Intervening Fuzzing with Interactive Visualization
Engineering a Better Fuzzer with Synergically Integrated Optimizations
Stochastic Optimization of Program Obfuscation
Tsmart-GalsBlock: A Toolkit for Modeling, Validation, and Synthesis of Multi-clocked Embedded Systems
Cite
×