Chengnian Sun
Chengnian Sun
Home
Publications
Teaching
Grants
Awards
Students
Activities
Experience
Contact
Light
Dark
Automatic
Zhendong Su
Latest
Practical GUI Testing of Android Applications via Model Abstraction and Refinement
Perses: Syntax-Guided Program Reduction
How Test Suites Impact Fault Localization Starting from the Size
Skeletal program enumeration for rigorous compiler testing
Stochastic Optimization of Program Obfuscation
Finding Compiler Bugs via Live Code Mutation
Automatic Runtime Recovery via Error Handler Synthesis
Toward Understanding Compiler Bugs in GCC and LLVM
Coverage-Directed Differential Testing of JVM Implementations
Finding and Analyzing Compiler Warning Defects
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
Randomized Stress-Testing of Link-Time Optimizers
Cite
×