Su, Zhendong
- Testing Database Engines via Pivoted Query Synthesis
2020/01/13 by Manuel Rigger, Zhendong Su, Rigger, Manuel +1 · 2 voices · 4 citations
Computer Science · #Advanced Database Systems and Queries #Logic, programming, and type systems #Software Testing and Debugging Techniques #cs.DB #cs.SE
- On the Lexical Distinguishability of Source Code
2015/02/05 by Martin Velez, Dong Qiu, Velez, Martin +7 · 3 voices
Computer Science · #Advanced Malware Detection Techniques #Software Engineering Research #Software Testing and Debugging Techniques #cs.SE
- Skeletal Program Enumeration for Rigorous Compiler Testing
2016/10/11 by Qirun Zhang, Zhang, Qirun, C. P. Sun +3 · 8 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Advanced Malware Detection Techniques
- Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations
2023/11/08 by Thodoris Sotiropoulos, Stefanos Chaliasos, Sotiropoulos, Thodoris +3 · 1 voice
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Software Reliability and Analysis Research
- Testing Machine Translation via Referential Transparency
2020/04/22 by Pinjia He, Clara Meister, He, Pinjia +3 · 3 citations
Computer Science · #Adversarial Robustness in Machine Learning #Topic Modeling #Natural Language Processing Techniques
- Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version)
2017/04/11 by Zhoulai Fu, Fu, Zhoulai, Zhendong Su +1 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #Teaching and Learning Programming
- Structure-Invariant Testing for Machine Translation
2019/07/19 by Pinjia He, He, Pinjia, Clara Meister +3 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Topic Modeling
- API-guided Dataset Synthesis to Finetune Large Code Models
2024/08/15 by Li, Zongjie, Wu, Daoyuan, Wang, Shuai +1 · 6 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Software Engineering (cs.SE)
- Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
2020/08/08 by Su, Ting, Yan, Yichen, Wang, Jue +5 · 2 citations
#FOS: Computer and information sciences #Software Engineering (cs.SE)
- Data-Driven Feedback Generation for Introductory Programming Exercises
2017/11/20 by Ke Wang, Wang, Ke, Rishabh Singh +3 · 1 citation
Computer Science · #Computers and Society (cs.CY) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques #Teaching and Learning Programming
- Dynamic Neural Program Embedding for Program Repair
2017/11/20 by Wang, Ke, Singh, Rishabh, Su, Zhendong · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Programming Languages (cs.PL)
- Vision-Based Mobile App GUI Testing: A Survey
2023/10/20 by Shengcheng Yu, Yu, Shengcheng, Chunrong Fang +11 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Software System Performance and Reliability #Advanced Malware Detection Techniques
- Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
2024/06/07 by Violet Szabo, Dominik Winterer, Szabo, Violet +3 · 1 voice
Computer Science · #Distributed and Parallel Computing Systems #Embedded Systems Design Techniques #FOS: Computer and information sciences #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.PL #cs.SE
- Learning Blended, Precise Semantic Program Embeddings
2019/07/03 by Ke Wang, Wang, Ke, Zhendong Su +1 · 1 citation
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques #Topic Modeling
- UBfuzz: Finding Bugs in Sanitizer Implementations
2024/01/09 by Li, Shaohua, Su, Zhendong · 1 citation
#Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE)