Zhendong Su

According to our database, Zhendong Su authored at least 205 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Practical, Automated Scenario-Based Mobile App Testing.

Shengcheng Yu, Chunrong Fang, Mingzhe Du, Zimin Ding, Zhenyu Chen, Zhendong Su

IEEE Trans. Software Eng., July, 2024

API-Driven Program Synthesis for Testing Static Typing Implementations.

Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su

Proc. ACM Program. Lang., January, 2024

Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration.

Dominik Winterer, Zhendong Su

Proc. ACM Program. Lang., 2024

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior.

Theodoros Theodoridis, Zhendong Su

Proc. ACM Program. Lang., 2024

Understanding and Finding Java Decompiler Bugs.

Yifei Lu, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su

Proc. ACM Program. Lang., 2024

Boosting Compiler Testing by Injecting Real-World Code.

Shaohua Li, Theodoros Theodoridis, Zhendong Su

Proc. ACM Program. Lang., 2024

When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems.

Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, Zhendong Su

Proc. ACM Program. Lang., 2024

SMT2Test: From SMT Formulas to Effective Test Cases.

Chengyu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2024

API-guided Dataset Synthesis to Finetune Large Code Models.

Zongjie Li, Daoyuan Wu, Shuai Wang, Zhendong Su

CoRR, 2024

Dinkel: Testing Graph Database Engines via State-Aware Query Generation.

Dominic Wüst, Zu-Ming Jiang, Zhendong Su

CoRR, 2024

Mokav: Execution-driven Differential Testing with LLMs.

Khashayar Etemadi, Bardia Mohammadi, Zhendong Su, Martin Monperrus

CoRR, 2024

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages.

Vince Szabo, Dominik Winterer, Zhendong Su

CoRR, 2024

SAND: Decoupling Sanitization from Fuzzing for Low Overhead.

Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su

CoRR, 2024

Comparing Cognitive Load Among Undergraduate Students Programming in Python and the Visual Language Algot.

Sverrir Thorgeirsson, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming Approaches.

Sverrir Thorgeirsson, Lennart C. Lais, Theo B. Weidmann, Zhendong Su

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

Validating the eBPF Verifier via State Embedding.

Hao Sun, Zhendong Su

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation.

Zu-Ming Jiang, Zhendong Su

Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation, 2024

A Direct Manipulation Programming Environment for Teaching Introductory and Advanced Software Testing.

Maximilian Georg Barth, Sverrir Thorgeirsson, Zhendong Su

Proceedings of the 24th Koli Calling International Conference on Computing Education Research, 2024

Assessing Live Programming for Program Comprehension.

Oliver Graf, Sverrir Thorgeirsson, Zhendong Su

Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, 2024

See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing.

Yuanyuan Yuan, Shuai Wang, Zhendong Su

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms.

Shengcheng Yu, Chunrong Fang, Mingzhe Du, Yuchen Ling, Zhenyu Chen, Zhendong Su

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

An Electroencephalography Study on Cognitive Load in Visual and Textual Programming.

Sverrir Thorgeirsson, Chengyu Zhang, Theo B. Weidmann, Karl-Heinz Weidmann, Zhendong Su

Proceedings of the 2024 ACM Conference on International Computing Education Research, 2024

HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels.

Yuanyuan Yuan, Zhibo Liu, Sen Deng, Yanzuo Chen, Shuai Wang, Yinqian Zhang, Zhendong Su

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

UBFuzz: Finding Bugs in Sanitizer Implementations.

Shaohua Li, Zhendong Su

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2023

Testing Graph Database Engines via Query Partitioning.

Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su

Dataset, May, 2023

Characterizing and Finding System Setting-Related Defects in Android Apps.

Jingling Sun, Ting Su, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie, Zhendong Su

IEEE Trans. Software Eng., April, 2023

Accelerating Fuzzing through Prefix-Guided Execution.

Shaohua Li, Zhendong Su

Proc. ACM Program. Lang., April, 2023

Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations.

Pengbo Nie, Chengcheng Wan, Jiayu Zhu, Ziyi Lin, Yuting Chen, Zhendong Su

ACM Trans. Softw. Eng. Methodol., January, 2023

Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations.

Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su

CoRR, 2023

Vision-Based Mobile App GUI Testing: A Survey.

Shengcheng Yu, Chunrong Fang, Ziyuan Tuo, Quanjun Zhang, Chunyang Chen, Zhenyu Chen, Zhendong Su

CoRR, 2023

Precise and Generalized Robustness Certification for Neural Networks.

Yuanyuan Yuan, Shuai Wang, Zhendong Su

Proceedings of the 32nd USENIX Security Symposium, 2023

DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation.

Zu-Ming Jiang, Jia-Ju Bai, Zhendong Su

Proceedings of the 32nd USENIX Security Symposium, 2023

Validating JIT Compilers via Compilation Space Exploration.

Cong Li, Yanyan Jiang, Chang Xu, Zhendong Su

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps.

Jingling Sun, Ting Su, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android.

Enze Ma, Shan Huang, Weigang He, Ting Su, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction.

Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

An Empirical Study of Functional Bugs in Android Apps.

Yiheng Xiong, Mengqian Xu, Ting Su, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He, Zhendong Su

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Testing Graph Database Engines via Query Partitioning.

Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Towards Efficient Data-Flow Test Data Generation.

Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Yang Liu, Zhoulai Fu, Zhendong Su

Proceedings of the Theories of Programming and Formal Methods, 2023

Finding Unstable Code via Compiler-Driven Differential Testing.

Shaohua Li, Zhendong Su

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

Forest: Structural Code Editing with Multiple Cursors.

Philippe Voinov, Manuel Rigger, Zhendong Su

Dataset, September, 2022

Forest: Structural Code Editing with Multiple Cursors.

Philippe Voinov, Manuel Rigger, Zhendong Su

Dataset, September, 2022

Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps.

Ting Su, Lingling Fan, Sen Chen, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su

IEEE Trans. Software Eng., 2022

Oracle-free repair synthesis for floating-point programs.

Daming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong, Zhendong Su

Proc. ACM Program. Lang., 2022

Detecting non-crashing functional bugs in Android apps via deep-state differential analysis.

Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, Zhendong Su

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

IRDL: an IR definition language for SSA compilers.

Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Bridging the Syntax-Semantics Gap of Programming.

Theo B. Weidmann, Sverrir Thorgeirsson, Zhendong Su

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Forest: Structural Code Editing with Multiple Cursors.

Philippe Voinov, Manuel Rigger, Zhendong Su

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Intramorphic Testing: A New Approach to the Test Oracle Problem.

Manuel Rigger, Zhendong Su

Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, 2022

Finding and Understanding Incompleteness Bugs in SMT Solvers.

Mauro Bringolf, Dominik Winterer, Zhendong Su

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Does Deliberately Failing Improve Learning in Introductory Computer Science?

Sverrir Thorgeirsson, Tanmay Sinha, Felix Friedrich, Zhendong Su

Proceedings of the Educating for a New Future: Making Sense of Technology-Enhanced Learning Adoption, 2022

Finding missed optimizations through the lens of dead code elimination.

Theodoros Theodoridis, Manuel Rigger, Zhendong Su

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

Understanding and exploiting optimal function inlining.

Theodoros Theodoridis, Tobias Grosser, Zhendong Su

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

2021

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs.

Ting Su, Yichen Yan, Jue Wang, Jingling Sun, Yiheng Xiong, Geguang Pu, Ke Wang, Zhendong Su

Proc. ACM Program. Lang., 2021

Generative type-aware mutation for testing SMT solvers.

Jiwon Park, Dominik Winterer, Chengyu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2021

Algot: An Educational Programming Language with Human-Intuitive Visual Syntax.

Sverrir Thorgeirsson, Zhendong Su

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2021

Benchmarking automated GUI testing for Android against real-world bugs.

Ting Su, Jue Wang, Zhendong Su

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs.

Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su

Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation, 2021

Understanding and finding system setting-related defects in Android apps.

Jingling Sun, Ting Su, Junxin Li, Zhen Dong, Geguang Pu, Tao Xie, Zhendong Su

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Testing Machine Translation via Referential Transparency.

Pinjia He, Clara Meister, Zhendong Su

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Detecting floating-point errors via atomic conditions.

Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2020

On the unusual effectiveness of type-aware operator mutations for testing SMT solvers.

Dominik Winterer, Chengyu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2020

Finding bugs in database systems via query partitioning.

Manuel Rigger, Zhendong Su

Proc. ACM Program. Lang., 2020

Fast linear programming through transprecision computing on small and sparse data.

Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler

Proc. ACM Program. Lang., 2020

ShapeFlow: Dynamic Shape Interpreter for TensorFlow.

Sahil Verma, Zhendong Su

CoRR, 2020

Automated Functional Fuzzing of Android Apps.

Ting Su, Yichen Yan, Jue Wang, Zhendong Su

CoRR, 2020

On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers.

Dominik Winterer, Chengyu Zhang, Zhendong Su

CoRR, 2020

Detecting optimization bugs in database engines via non-optimizing reference engine construction.

Manuel Rigger, Zhendong Su

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Machine translation testing via pathological invariance.

Shashij Gupta, Pinjia He, Clara Meister, Zhendong Su

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Student Adoption and Perceptions of a Web Integrated Development Environment: An Experience Report.

Martin Velez, Michael Yen, Mathew Le, Zhendong Su, Mohammad Amin Alipour

Proceedings of the 51st ACM Technical Symposium on Computer Science Education, 2020

Validating SMT solvers via semantic fusion.

Dominik Winterer, Chengyu Zhang, Zhendong Su

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Blended, precise semantic program embeddings.

Ke Wang, Zhendong Su

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Testing Database Engines via Pivoted Query Synthesis.

Manuel Rigger, Zhendong Su

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Metamorphic Object Insertion for Testing Object Detection Systems.

Shuai Wang, Zhendong Su

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs.

Jiayu Zhu, Chengcheng Wan, Pengbo Nie, Yuting Chen, Zhendong Su

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

Symbolic verification of message passing interface programs.

Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun, Chun Huang, Wei Dong

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Structure-invariant testing for machine translation.

Pinjia He, Clara Meister, Zhendong Su

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Detecting nondeterministic payment bugs in Ethereum smart contracts.

Shuai Wang, Chengyu Zhang, Zhendong Su

Proc. ACM Program. Lang., 2019

Metamorphic Testing for Object Detection Systems.

Shuai Wang, Zhendong Su

CoRR, 2019

Learning Blended, Precise Semantic Program Embeddings.

Ke Wang, Zhendong Su

CoRR, 2019

Finding and understanding bugs in software model checkers.

Chengyu Zhang, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Exploring and exploiting the correlations between bug-inducing and bug-fixing commits.

Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, Zhendong Su

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Effective floating-point analysis via weak-distance minimization.

Zhoulai Fu, Zhendong Su

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Hunting for bugs in code coverage tools via randomized differential testing.

Yibiao Yang, Yuming Zhou, Hao Sun, Zhendong Su, Zhiqiang Zuo, Lei Xu, Baowen Xu

Proceedings of the 41st International Conference on Software Engineering, 2019

Exposing library API misuses via mutation analysis.

Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su

Proceedings of the 41st International Conference on Software Engineering, 2019

Global optimization of numerical programs via prioritized stochastic algebraic transformations.

Xie Wang, Huaijin Wang, Zhendong Su, Enyi Tang, Xin Chen, Weijun Shen, Zhenyu Chen, Linzhang Wang, Xianpei Zhang, Xuandong Li

Proceedings of the 41st International Conference on Software Engineering, 2019

Practical GUI testing of Android applications via model abstraction and refinement.

Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, Zhendong Su

Proceedings of the 41st International Conference on Software Engineering, 2019

Deep differential testing of JVM implementations.

Yuting Chen, Ting Su, Zhendong Su

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

How test suites impact fault localisation starting from the size.

Yan Lei, Chengnian Sun, Xiaoguang Mao, Zhendong Su

IET Softw., 2018

Towards Efficient Data-flow Test Data Generation.

Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su

CoRR, 2018

Combining Symbolic Execution and Model Checking to Verify MPI Programs.

Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Wei Dong, Chun Huang

CoRR, 2018

Ten years of hunting for similar code for fun and profit (keynote).

Stéphane Glondu, Lingxiao Jiang, Zhendong Su

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Search, align, and repair: data-driven feedback generation for introductory programming exercises.

Ke Wang, Rishabh Singh, Zhendong Su

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Calling-to-reference context translation via constraint-guided CFL-reachability.

Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Symbolic verification of regular properties.

Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su, Wei Dong

Proceedings of the 40th International Conference on Software Engineering, 2018

Perses: syntax-guided program reduction.

Chengnian Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su

Proceedings of the 40th International Conference on Software Engineering, 2018

Large-scale analysis of framework-specific exceptions in Android apps.

Lingling Fan, Ting Su, Sen Chen, Guozhu Meng, Yang Liu, Lihua Xu, Geguang Pu, Zhendong Su

Proceedings of the 40th International Conference on Software Engineering, 2018

Dynamic Neural Program Embeddings for Program Repair.

Ke Wang, Rishabh Singh, Zhendong Su

Proceedings of the 6th International Conference on Learning Representations, 2018

2017

Understanding the syntactic rule usage in java.

Dong Qiu, Bixin Li, Earl T. Barr, Zhendong Su

J. Syst. Softw., 2017

A Survey on Data-Flow Testing.

Ting Su, Ke Wu, Weikai Miao, Geguang Pu, Jifeng He, Yuting Chen, Zhendong Su

ACM Comput. Surv., 2017

Dynamic Neural Program Embedding for Program Repair.

Ke Wang, Rishabh Singh, Zhendong Su

CoRR, 2017

Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs.

Ke Wang, Zhendong Su

CoRR, 2017

Data-Driven Feedback Generation for Introductory Programming Exercises.

Ke Wang, Rishabh Singh, Zhendong Su

CoRR, 2017

Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version).

Zhoulai Fu, Zhendong Su

CoRR, 2017

Guided, stochastic model-based GUI testing of Android apps.

Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu, Zhendong Su

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Context-sensitive data-dependence analysis via linear conjunctive language reachability.

Qirun Zhang, Zhendong Su

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Skeletal program enumeration for rigorous compiler testing.

Qirun Zhang, Chengnian Sun, Zhendong Su

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Achieving high coverage for floating-point code via unconstrained programming.

Zhoulai Fu, Zhendong Su

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Stochastic optimization of program obfuscation.

Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun

Proceedings of the 39th International Conference on Software Engineering, 2017

Detecting Energy Bugs in Android Apps Using Static Analysis.

Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su, Jian Zhang, Jun Yan

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Mathematical Execution: A Unified Approach for Testing Numerical Code.

Zhoulai Fu, Zhendong Su

CoRR, 2016

Toward Rapid Transformation of Ideas into Software.

Mehrdad Afshari, Zhendong Su

CoRR, 2016

Automated coverage-driven testing: combining symbolic execution and model checking.

Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su

Sci. China Inf. Sci., 2016

On the naturalness of software.

Abram Hindle, Earl T. Barr, Mark Gabel, Zhendong Su, Premkumar T. Devanbu

Commun. ACM, 2016

Coverage-directed differential testing of JVM implementations.

Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Finding compiler bugs via live code mutation.

Chengnian Sun, Vu Le, Zhendong Su

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Building white-box abstractions by program refinement.

Mehrdad Afshari, Zhendong Su

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Automatic runtime recovery via error handler synthesis.

Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Jian Lü, Zhendong Su

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Toward understanding compiler bugs in GCC and LLVM.

Chengnian Sun, Vu Le, Qirun Zhang, Zhendong Su

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Dimensionally Guided Synthesis of Mathematical Word Problems.

Ke Wang, Zhendong Su

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Finding and analyzing compiler warning defects.

Chengnian Sun, Vu Le, Zhendong Su

Proceedings of the 38th International Conference on Software Engineering, 2016

XSat: A Fast Floating-Point Satisfiability Solver.

Zhoulai Fu, Zhendong Su

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

A Study of "Wheat" and "Chaff" in Source Code.

Martin Velez, Dong Qiu, You Zhou, Earl T. Barr, Zhendong Su

CoRR, 2015

GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC.

Kai Wang, Guoqing Xu, Zhendong Su, Yu David Liu

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Guided differential testing of certificate validation in SSL/TLS implementations.

Yuting Chen, Zhendong Su

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Finding deep compiler bugs via guided stochastic program mutation.

Vu Le, Chengnian Sun, Zhendong Su

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Automated backward error analysis for numerical code.

Zhoulai Fu, Zhaojun Bai, Zhendong Su

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Randomized stress-testing of link-time optimizers.

Vu Le, Chengnian Sun, Zhendong Su

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Automated Geometry Theorem Proving for Human-Readable Proofs.

Ke Wang, Zhendong Su

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Automatic Generation of Raven's Progressive Matrices.

Ke Wang, Zhendong Su

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies.

Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, Hong Mei

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

An Empirical Study on Real Bug Fixes.

Hao Zhong, Zhendong Su

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Combining Symbolic Execution and Model Checking for Data Flow Testing.

Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

X-Force: Force-Executing Binary Programs for Security Applications.

Fei Peng, Zhui Deng, Xiangyu Zhang, Dongyan Xu, Zhiqiang Lin, Zhendong Su

Proceedings of the 23rd USENIX Security Symposium, San Diego, CA, USA, August 20-22, 2014., 2014

On the localness of software.

Zhaopeng Tu, Zhendong Su, Premkumar T. Devanbu

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Compiler validation via equivalence modulo inputs.

Vu Le, Mehrdad Afshari, Zhendong Su

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Efficient subcubic alias analysis for C.

Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Capturing and Exploiting IDE Interactions.

Zhongxian Gu, Drew Schleck, Earl T. Barr, Zhendong Su

Proceedings of the Onward! 2014, 2014

Detecting Logic Vulnerabilities in E-commerce Applications.

Fangqi Sun, Liang Xu, Zhendong Su

Proceedings of the 21st Annual Network and Distributed System Security Symposium, 2014

2013

Abstracting Runtime Heaps for Program Understanding.

Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich

IEEE Trans. Software Eng., 2013

An empirical analysis of the co-evolution of schema and code in database applications.

Dong Qiu, Bixin Li, Zhendong Su

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Server interface descriptions for automated testing of JavaScript web applications.

Casper Svenning Jensen, Anders Møller, Zhendong Su

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Automatic detection of floating-point exceptions.

Earl T. Barr, Thanh Vo, Vu Le, Zhendong Su

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Fast algorithms for Dyck-CFL-reachability with applications to alias analysis.

Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Detecting API documentation errors.

Hao Zhong, Zhendong Su

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Steering symbolic execution to less traveled paths.

You Li, Zhendong Su, Linzhang Wang, Xuandong Li

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Keyword programming for TouchDevelop.

Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

SmartSynth: synthesizing smartphone automation scripts from natural language.

Vu Le, Sumit Gulwani, Zhendong Su

Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

2012

Automatic Detection of Unsafe Dynamic Component Loadings.

Taeho Kwon, Zhendong Su

IEEE Trans. Software Eng., 2012

Detecting and analyzing insecure component usage.

Taeho Kwon, Zhendong Su

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Testing mined specifications.

Mark Gabel, Zhendong Su

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Reusing debugging knowledge via trace-based bug search.

Zhongxian Gu, Earl T. Barr, Drew Schleck, Zhendong Su

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Liberating the programmer with prorogued programming.

Mehrdad Afshari, Earl T. Barr, Zhendong Su

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2012

Static Detection of Unsafe Component Loadings.

Taeho Kwon, Zhendong Su

Proceedings of the Compiler Construction - 21st International Conference, 2012

2011

Static Detection of Access Control Vulnerabilities in Web Applications.

Fangqi Sun, Liang Xu, Zhendong Su

Proceedings of the 20th USENIX Security Symposium, 2011

Synthesizing method sequences for high-coverage testing.

Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

BQL: capturing and reusing debugging knowledge.

Zhongxian Gu, Earl T. Barr, Zhendong Su

Proceedings of the 33rd International Conference on Software Engineering, 2011

Modeling High-Level Behavior Patterns for Precise Similarity Analysis of Software.

Taeho Kwon, Zhendong Su

Proceedings of the 11th IEEE International Conference on Data Mining, 2011

2010

A study of the uniqueness of source code.

Mark Gabel, Zhendong Su

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Scalable and systematic detection of buggy inconsistencies in source code.

Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Perturbing numerical calculations for statistical analysis of floating-point program (in)stability.

Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Automatic detection of unsafe component loadings.

Taeho Kwon, Zhendong Su

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Has the bug really been fixed?

Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhendong Su

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Online inference and enforcement of temporal properties.

Mark Gabel, Zhendong Su

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Putting Trojans on the Horns of a Dilemma: Redundancy for Information Theft Detection.

Jedidiah R. Crandall, John Brevik, Shaozhi Ye, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong

Trans. Comput. Sci., 2009

Structure and Dynamics of Research Collaboration in Computer Science.

Christian Bird, Earl T. Barr, Andre Nash, Premkumar T. Devanbu, Vladimir Filkov, Zhendong Su

Proceedings of the SIAM International Conference on Data Mining, 2009

Static Validation of C Preprocessor Macros.

Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Quinlan, Zhendong Su

Proceedings of the ASE 2009, 2009

Detecting code clones in binary executables.

Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Automatic mining of functionally equivalent code fragments via random testing.

Lingxiao Jiang, Zhendong Su

Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, 2009

Client-Side Detection of XSS Worms by Monitoring Payload Propagation.

Fangqi Sun, Liang Xu, Zhendong Su

Proceedings of the Computer Security, 2009

2008

A general framework for benchmarking firewall optimization techniques.

Ghassan Misherghi, Lihua Yuan, Zhendong Su, Chen-Nee Chuah, Hao Chen

IEEE Trans. Netw. Serv. Manag., 2008

Profile-guided program simplification for effective testing and analysis.

Lingxiao Jiang, Zhendong Su

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Javert: fully automatic mining of general temporal properties from dynamic traces.

Mark Gabel, Zhendong Su

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Bezoar: Automated virtual machine-based full-system recovery from control-flow hijacking attacks.

Daniela Alvim Seabra de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shaozhi Ye, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong

Proceedings of the IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, 2008

Dynamic test input generation for web applications.

Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Static detection of cross-site scripting vulnerabilities.

Gary Wassermann, Zhendong Su

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Symbolic mining of temporal specifications.

Mark Gabel, Zhendong Su

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Scalable detection of semantic clones.

Mark Gabel, Lingxiao Jiang, Zhendong Su

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

2007

Static checking of dynamically generated queries in database applications.

Gary Wassermann, Carl Gould, Zhendong Su, Premkumar T. Devanbu

ACM Trans. Softw. Eng. Methodol., 2007

Context-based detection of clone-related bugs.

Lingxiao Jiang, Zhendong Su, Edwin Chiu

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Sound and precise analysis of web applications for injection vulnerabilities.

Gary Wassermann, Zhendong Su

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Context-aware statistical debugging: from bug predictors to faulty control flow paths.

Lingxiao Jiang, Zhendong Su

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones.

Lingxiao Jiang, Ghassan Misherghi, Zhendong Su, Stéphane Glondu

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms.

Matthew Van Gundy, Hao Chen, Zhendong Su, Giovanni Vigna

Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC 2007), 2007

2006

FIREMAN: A Toolkit for FIREwall Modeling and ANalysis.

Lihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, Chen-Nee Chuah, Prasant Mohapatra

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

The essence of command injection attacks in web applications.

Zhendong Su, Gary Wassermann

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

HDD: hierarchical Delta Debugging.

Ghassan Misherghi, Zhendong Su

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Osprey: a practical type system for validating dimensional unit correctness of C programs.

Lingxiao Jiang, Zhendong Su

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Validity Checking for Finite Automata over Linear Arithmetic Constraints.

Gary Wassermann, Zhendong Su

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

ExecRecorder: VM-based full-system replay for attack analysis and system recovery.

Daniela Alvim Seabra de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shyhtsun Felix Wu, Zhendong Su, Frederic T. Chong

Proceedings of the 1st Workshop on Architectural and System Support for Improving Software Dependability, 2006

Temporal search: detecting hidden malware timebombs with virtual machines.

Jedidiah R. Crandall, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong

Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006

Back to the Future: A Framework for Automatic Malware Removal and System Repair.

Francis Hsu, Hao Chen, Thomas Ristenpart, Jason Li, Zhendong Su

Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006

2005

A class of polynomially solvable range constraints for interval analysis without widenings.

Zhendong Su, David A. Wagner

Theor. Comput. Sci., 2005

Complexity of Subtype Satisfiability over Posets.

Joachim Niehren, Tim Priesnitz, Zhendong Su

Proceedings of the Programming Languages and Systems, 2005

On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits.

Jedidiah R. Crandall, Zhendong Su, Shyhtsun Felix Wu, Frederic T. Chong

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings.

Zhendong Su, David A. Wagner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications.

Carl Gould, Zhendong Su, Premkumar T. Devanbu

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Static Checking of Dynamically Generated Queries in Database Applications.

Carl Gould, Zhendong Su, Premkumar T. Devanbu

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2002

The first-order theory of subtyping constraints.

Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen

Proceedings of the Conference Record of POPL 2002: The 29th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002

2001

Entailment with Conditional Equality Constraints.

Zhendong Su, Alexander Aiken

Proceedings of the Programming Languages and Systems, 2001

2000

Detecting races in Relay Ladder Logic programs.

Alexander Aiken, Manuel Fähndrich, Zhendong Su

Int. J. Softw. Tools Technol. Transf., 2000

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs.

Zhendong Su, Manuel Fähndrich, Alexander Aiken

Proceedings of the POPL 2000, 2000

1998

A Toolkit for Constructing Type- and Constraint-Based Program Analyses.

Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su

Proceedings of the Types in Compilation, Second International Workshop, 1998

Partial Online Cycle Elimination in Inclusion Constraint Graphs.

Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su, Alexander Aiken

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Deciding Properties for Message Sequence Charts.

Anca Muscholl, Doron A. Peled, Zhendong Su

Proceedings of the Foundations of Software Science and Computation Structure, 1998