Zhendong Su
- Testing Database Engines via Pivoted Query Synthesis
2020/01/13 by Manuel Rigger, Rigger, Manuel, Zhendong Su +1 · 2 voices · 3 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, He, Pinjia, Clara Meister +3 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Topic Modeling #Natural Language Processing Techniques
- Data-Driven Feedback Generation for Introductory Programming Exercises
2017/11/20 by Ke Wang, Rishabh Singh, Wang, Ke +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
- Vision-Based Mobile App GUI Testing: A Survey
2023/10/20 by Shengcheng Yu, Chunrong Fang, Yu, Shengcheng +11 · 2 citations
Computer Science · #Software Testing and Debugging Techniques #Software System Performance and Reliability #Advanced Malware Detection Techniques
- Structure-Invariant Testing for Machine Translation
2019/07/19 by Pinjia He, Clara Meister, He, Pinjia +3 · 1 citation
Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Topic Modeling
- Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages
2024/06/07 by Violet Szabo, Szabo, Violet, Dominik Winterer +3 · 1 voice
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.PL #cs.SE
- Intramorphic Testing: A New Approach to the Test Oracle Problem
2022/10/20 by Manuel Rigger, Zhendong Su · 1 voice
Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Software Testing and Debugging Techniques #cs.SE
- Learning Blended, Precise Semantic Program Embeddings
2019/07/03 by Ke Wang, Zhendong Su, Wang, Ke +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