Chengnian Sun
Chengnian Sun
Home
Publications
Teaching
Grants
Awards
Students
Activities
Experience
Contact
Light
Dark
Automatic
Qirun Zhang
Latest
Practical GUI Testing of Android Applications via Model Abstraction and Refinement
Perses: Syntax-Guided Program Reduction
Skeletal program enumeration for rigorous compiler testing
Toward Understanding Compiler Bugs in GCC and LLVM
Cite
×