Zhendong Su

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 121

Top Venues

CoRR

ICSE

Proc. ACM Program. Lang.

ESEC/SIGSOFT FSE

Publications

Zu-Ming Jiang, Zhendong Su
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. OSDI (2024)
Shaohua Li, Theodoros Theodoridis, Zhendong Su
Boosting Compiler Testing by Injecting Real-World Code. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Hao Sun, Zhendong Su
Validating the eBPF Verifier via State Embedding. OSDI (2024)
Vince Szabo, Dominik Winterer, Zhendong Su
Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages. CoRR (2024)
Shengcheng Yu, Chunrong Fang, Mingzhe Du, Zimin Ding, Zhenyu Chen, Zhendong Su
Practical, Automated Scenario-Based Mobile App Testing. IEEE Trans. Software Eng. 50 (7) (2024)
Theodoros Theodoridis, Zhendong Su
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su
API-Driven Program Synthesis for Testing Static Typing Implementations. Proc. ACM Program. Lang. 8 (POPL) (2024)
Shaohua Li, Zhendong Su
UBfuzz: Finding Bugs in Sanitizer Implementations. CoRR (2024)
Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su
Understanding and Finding Java Decompiler Bugs. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Shengcheng Yu, Chunrong Fang, Mingzhe Du, Yuchen Ling, Zhenyu Chen, Zhendong Su
Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms. ICSE (2024)
Shaohua Li, Zhendong Su
UBFuzz: Finding Bugs in Sanitizer Implementations. ASPLOS (1) (2024)
Shengcheng Yu, Chunrong Fang, Mingzhe Du, Zimin Ding, Zhenyu Chen, Zhendong Su
Practical, Automated Scenario-based Mobile App Testing. CoRR (2024)
Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su
SAND: Decoupling Sanitization from Fuzzing for Low Overhead. CoRR (2024)
Oliver Graf, Sverrir Thorgeirsson, Zhendong Su
Assessing Live Programming for Program Comprehension. ITiCSE (1) (2024)
Khashayar Etemadi, Bardia Mohammadi, Zhendong Su, Martin Monperrus
Mokav: Execution-driven Differential Testing with LLMs. CoRR (2024)
Sverrir Thorgeirsson, Chengyu Zhang, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su
An Electroencephalography Study on Cognitive Load in Visual and Textual Programming. ICER (1) (2024)
Sverrir Thorgeirsson, Lennart C. Lais, Theo B. Weidmann, Zhendong Su
Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming Approaches. SIGCSE (1) (2024)
Sverrir Thorgeirsson, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su
Comparing Cognitive Load Among Undergraduate Students Programming in Python and the Visual Language Algot. SIGCSE (1) (2024)
Pengbo Nie, Chengcheng Wan, Jiayu Zhu, Ziyi Lin, Yuting Chen, Zhendong Su
Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su
Testing Graph Database Engines via Query Partitioning. ISSTA (2023)
Yuanyuan Yuan, Shuai Wang, Zhendong Su
Precise and Generalized Robustness Certification for Neural Networks. CoRR (2023)
Yuanyuan Yuan, Shuai Wang, Zhendong Su
Precise and Generalized Robustness Certification for Neural Networks. USENIX Security Symposium (2023)
Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su
DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. USENIX Security Symposium (2023)
Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su
Validating JIT Compilers via Compilation Space Exploration. SOSP (2023)
Shaohua Li, Zhendong Su
Accelerating Fuzzing through Prefix-Guided Execution. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su
Characterizing and Finding System Setting-Related Defects in Android Apps. IEEE Trans. Software Eng. 49 (4) (2023)
Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su
An Empirical Study of Functional Bugs in Android Apps. ISSTA (2023)
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su
Towards Efficient Data-Flow Test Data Generation. Theories of Programming and Formal Methods (2023)
Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su
Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. ESEC/SIGSOFT FSE (2023)
Shengcheng Yu, Chunrong Fang, Ziyuan Tuo, Quanjun Zhang, Chunyang Chen, Zhenyu Chen, Zhendong Su
Vision-Based Mobile App GUI Testing: A Survey. CoRR (2023)
Shengcheng Yu, Chunrong Fang, Mingzhe Du, Yuchen Ling, Zhenyu Chen, Zhendong Su
Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms. CoRR (2023)
Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. OSDI (2023)
Shaohua Li, Zhendong Su
Finding Unstable Code via Compiler-Driven Differential Testing. ASPLOS (3) (2023)
Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su
Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. ESEC/SIGSOFT FSE (2023)
Sverrir Thorgeirsson, Tanmay Sinha, Felix Friedrich, Zhendong Su
Does Deliberately Failing Improve Learning in Introductory Computer Science? EC-TEL (2022)
Manuel Rigger, Zhendong Su
Intramorphic Testing: A New Approach to the Test Oracle Problem. Onward! (2022)
Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su
Detecting non-crashing functional bugs in Android apps via deep-state differential analysis. ESEC/SIGSOFT FSE (2022)
Philippe Voinov, Manuel Rigger, Zhendong Su
Forest: Structural Code Editing with Multiple Cursors. Onward! (2022)
Theodoros Theodoridis, Manuel Rigger, Zhendong Su
Finding missed optimizations through the lens of dead code elimination. ASPLOS (2022)
Mauro Bringolf, Dominik Winterer, Zhendong Su
Finding and Understanding Incompleteness Bugs in SMT Solvers. ASE (2022)
Philippe Voinov, Manuel Rigger, Zhendong Su
Forest: Structural Code Editing with Multiple Cursors. CoRR (2022)
Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser
IRDL: an IR definition language for SSA compilers. PLDI (2022)
Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, Zhendong Su
Oracle-free repair synthesis for floating-point programs. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Manuel Rigger, Zhendong Su
Intramorphic Testing: A New Approach to the Test Oracle Problem. CoRR (2022)
Theo B. Weidmann, Sverrir Thorgeirsson, Zhendong Su
Bridging the Syntax-Semantics Gap of Programming. Onward! (2022)
Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps. IEEE Trans. Software Eng. 48 (4) (2022)
Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su
Understanding and finding system setting-related defects in Android apps. ISSTA (2021)
Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su
Generative type-aware mutation for testing SMT solvers. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Sverrir Thorgeirsson, Zhendong Su
Algot: An Educational Programming Language with Human-Intuitive Visual Syntax. VL/HCC (2021)
Ting Su, Jue Wang, Zhendong Su
Benchmarking automated GUI testing for Android against real-world bugs. ESEC/SIGSOFT FSE (2021)
Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. OSDI (2021)
Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su
Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Pinjia He, Clara Meister, Zhendong Su
Testing Machine Translation via Referential Transparency. ICSE (2021)
Manuel Rigger, Zhendong Su
Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Dominik Winterer, Chengyu Zhang, Zhendong Su
On the unusual effectiveness of type-aware operator mutations for testing SMT solvers. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Pinjia He, Clara Meister, Zhendong Su
Testing Machine Translation via Referential Transparency. CoRR (2020)
Manuel Rigger, Zhendong Su
Testing Database Engines via Pivoted Query Synthesis. CoRR (2020)
Manuel Rigger, Zhendong Su
Testing Database Engines via Pivoted Query Synthesis. OSDI (2020)
Ke Wang, Zhendong Su
Blended, precise semantic program embeddings. PLDI (2020)
Shashij Gupta, Pinjia He, Clara Meister, Zhendong Su
Machine translation testing via pathological invariance. ESEC/SIGSOFT FSE (2020)
Pinjia He, Clara Meister, Zhendong Su
Structure-invariant testing for machine translation. ICSE (2020)
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong
Symbolic verification of message passing interface programs. ICSE (2020)
Ting Su, Yichen Yan, Jue Wang, Zhendong Su
Automated Functional Fuzzing of Android Apps. CoRR (2020)
Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su
Detecting floating-point errors via atomic conditions. Proc. ACM Program. Lang. 4 (POPL) (2020)
Sahil Verma, Zhendong Su
ShapeFlow: Dynamic Shape Interpreter for TensorFlow. CoRR (2020)
Shuai Wang, Zhendong Su
Metamorphic Object Insertion for Testing Object Detection Systems. ASE (2020)
Manuel Rigger, Zhendong Su
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction. CoRR (2020)
Dominik Winterer, Chengyu Zhang, Zhendong Su
Validating SMT solvers via semantic fusion. PLDI (2020)
Dominik Winterer, Chengyu Zhang, Zhendong Su
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers. CoRR (2020)
Jiayu Zhu, Chengcheng Wan, Pengbo Nie, Yuting Chen, Zhendong Su
Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs. ICSME (2020)
Manuel Rigger, Zhendong Su
Detecting optimization bugs in database engines via non-optimizing reference engine construction. ESEC/SIGSOFT FSE (2020)
Martin Velez, Michael Yen, Mathew Le, Zhendong Su, Mohammad Amin Alipour
Student Adoption and Perceptions of a Web Integrated Development Environment: An Experience Report. SIGCSE (2020)
Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler
Fast linear programming through transprecision computing on small and sparse data. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Shuai Wang, Chengyu Zhang, Zhendong Su
Detecting nondeterministic payment bugs in Ethereum smart contracts. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Pinjia He, Clara Meister, Zhendong Su
Structure-Invariant Testing for Machine Translation. CoRR (2019)
Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu
Hunting for bugs in code coverage tools via randomized differential testing. ICSE (2019)
Shuai Wang, Zhendong Su
Metamorphic Testing for Object Detection Systems. CoRR (2019)
Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li
Global optimization of numerical programs via prioritized stochastic algebraic transformations. ICSE (2019)
Yuting Chen, Ting Su, Zhendong Su
Deep differential testing of JVM implementations. ICSE (2019)
Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su
Finding and understanding bugs in software model checkers. ESEC/SIGSOFT FSE (2019)
Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, Zhendong Su
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits. ESEC/SIGSOFT FSE (2019)
Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su
Exposing library API misuses via mutation analysis. ICSE (2019)
Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su
Practical GUI testing of Android applications via model abstraction and refinement. ICSE (2019)
Ke Wang, Zhendong Su
Learning Blended, Precise Semantic Program Embeddings. CoRR (2019)
Zhoulai Fu, Zhendong Su
Effective floating-point analysis via weak-distance minimization. PLDI (2019)
Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong
Symbolic verification of regular properties. ICSE (2018)
Ke Wang, Rishabh Singh, Zhendong Su
Search, align, and repair: data-driven feedback generation for introductory programming exercises. PLDI (2018)
Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su
Towards Efficient Data-flow Test Data Generation. CoRR (2018)
Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang
Combining Symbolic Execution and Model Checking to Verify MPI Programs. CoRR (2018)
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
Large-scale analysis of framework-specific exceptions in Android apps. ICSE (2018)
Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su
Large-Scale Analysis of Framework-Specific Exceptions in Android Apps. CoRR (2018)
Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su
Calling-to-reference context translation via constraint-guided CFL-reachability. PLDI (2018)
Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
Perses: syntax-guided program reduction. ICSE (2018)
Yan Lei, Chengnian Sun, Xiaoguang Mao, Zhendong Su
How test suites impact fault localisation starting from the size. IET Softw. 12 (3) (2018)
Stéphane Glondu, Lingxiao Jiang, Zhendong Su
Ten years of hunting for similar code for fun and profit (keynote). ESEC/SIGSOFT FSE (2018)
Ke Wang, Rishabh Singh, Zhendong Su
Dynamic Neural Program Embeddings for Program Repair. ICLR (Poster) (2018)
Ke Wang, Zhendong Su
Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs. CoRR (2017)
Zhoulai Fu, Zhendong Su
Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version). CoRR (2017)
Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su
A Survey on Data-Flow Testing. ACM Comput. Surv. 50 (1) (2017)
Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun
Stochastic optimization of program obfuscation. ICSE (2017)

Zhendong Su.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Zhendong Su