Deciding Properties for Message Sequence Charts. - Anca Muscholl; Doron A. Peled; Zhendong Su 001 (FoSSaCS, 1998)

Partial Online Cycle Elimination in Inclusion Constraint Graphs. - Manuel Fähndrich; Jeffrey S. Foster; Zhendong Su 001; Alexander Aiken (PLDI, 1998)

A Toolkit for Constructing Type- and Constraint-Based Program Analyses. - Alexander Aiken; Manuel Fähndrich; Jeffrey S. Foster; Zhendong Su 001 (Types in Compilation, 1998)

Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. - Zhendong Su 001; Manuel Fähndrich; Alexander Aiken (POPL, 2000)

Detecting races in Relay Ladder Logic programs. - Alexander Aiken; Manuel Fähndrich; Zhendong Su 001 (Int. J. Softw. Tools Technol. Transf., 2000)

Entailment with Conditional Equality Constraints. - Zhendong Su 001; Alexander Aiken (ESOP, 2001)

The first-order theory of subtyping constraints. - Zhendong Su 001; Alexander Aiken; Joachim Niehren; Tim Priesnitz; Ralf Treinen (POPL, 2002)

Static Checking of Dynamically Generated Queries in Database Applications. - Carl Gould 001; Zhendong Su 001; Premkumar T. Devanbu (ICSE, 2004)

JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications. - Carl Gould 001; Zhendong Su 001; Premkumar T. Devanbu (ICSE, 2004)

A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. - Zhendong Su 001; David A. Wagner 001 (TACAS, 2004)

On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits. - Jedidiah R. Crandall; Zhendong Su 001; Shyhtsun Felix Wu; Frederic T. Chong (CCS, 2005)

Complexity of Subtype Satisfiability over Posets. - Joachim Niehren; Tim Priesnitz; Zhendong Su 001 (ESOP, 2005)

A class of polynomially solvable range constraints for interval analysis without widenings. - Zhendong Su 001; David A. Wagner 001 (Theor. Comput. Sci., 2005)

Back to the Future: A Framework for Automatic Malware Removal and System Repair. - Francis Hsu; Hao Chen 003; Thomas Ristenpart; Jason Li 003; Zhendong Su 001 (ACSAC, 2006)

Temporal search: detecting hidden malware timebombs with virtual machines. - Jedidiah R. Crandall; Gary Wassermann; Daniela Alvim Seabra de Oliveira; Zhendong Su 001; Shyhtsun Felix Wu; Frederic T. Chong (ASPLOS, 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 001; Frederic T. Chong (ASID, 2006)

Validity Checking for Finite Automata over Linear Arithmetic Constraints. - Gary Wassermann; Zhendong Su 001 (FSTTCS, 2006)

Osprey: a practical type system for validating dimensional unit correctness of C programs. - Lingxiao Jiang; Zhendong Su 001 (ICSE, 2006)

HDD: hierarchical Delta Debugging. - Ghassan Misherghi; Zhendong Su 001 (ICSE, 2006)

The essence of command injection attacks in web applications. - Zhendong Su 001; Gary Wassermann (POPL, 2006)

FIREMAN: A Toolkit for FIREwall Modeling and ANalysis. - Lihua Yuan; Jianning Mai; Zhendong Su 001; Hao Chen 003; Chen-Nee Chuah; Prasant Mohapatra (S&P, 2006)

Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms. - Matthew Van Gundy; Hao Chen 003; Zhendong Su 001; Giovanni Vigna (ACSAC, 2007)

DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones. - Lingxiao Jiang; Ghassan Misherghi; Zhendong Su 001; Stéphane Glondu (ICSE, 2007)

Context-aware statistical debugging: from bug predictors to faulty control flow paths. - Lingxiao Jiang; Zhendong Su 001 (ASE, 2007)

Sound and precise analysis of web applications for injection vulnerabilities. - Gary Wassermann; Zhendong Su 001 (PLDI, 2007)

Context-based detection of clone-related bugs. - Lingxiao Jiang; Zhendong Su 001; Edwin Chiu (ESEC/SIGSOFT FSE, 2007)

Static checking of dynamically generated queries in database applications. - Gary Wassermann; Carl Gould 001; Zhendong Su 001; Premkumar T. Devanbu (ACM Trans. Softw. Eng. Methodol., 2007)

Scalable detection of semantic clones. - Mark Gabel; Lingxiao Jiang; Zhendong Su 001 (ICSE, 2008)

Symbolic mining of temporal specifications. - Mark Gabel; Zhendong Su 001 (ICSE, 2008)

Static detection of cross-site scripting vulnerabilities. - Gary Wassermann; Zhendong Su 001 (ICSE, 2008)

Dynamic test input generation for web applications. - Gary Wassermann; Dachuan Yu; Ajay Chander; Dinakar Dhurjati; Hiroshi Inamura; Zhendong Su 001 (ISSTA, 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 001; Frederic T. Chong (NOMS, 2008)

Javert: fully automatic mining of general temporal properties from dynamic traces. - Mark Gabel; Zhendong Su 001 (SIGSOFT FSE, 2008)

Profile-guided program simplification for effective testing and analysis. - Lingxiao Jiang; Zhendong Su 001 (SIGSOFT FSE, 2008)

A general framework for benchmarking firewall optimization techniques. - Ghassan Misherghi; Lihua Yuan; Zhendong Su 001; Chen-Nee Chuah; Hao Chen 003 (IEEE Trans. Netw. Serv. Manag., 2008)

Client-Side Detection of XSS Worms by Monitoring Payload Propagation. - Fangqi Sun; Liang Xu; Zhendong Su 001 (ESORICS, 2009)

Automatic mining of functionally equivalent code fragments via random testing. - Lingxiao Jiang; Zhendong Su 001 (ISSTA, 2009)

Detecting code clones in binary executables. - Andreas Sæbjørnsen; Jeremiah Willcock; Thomas Panas; Daniel J. Quinlan; Zhendong Su 001 (ISSTA, 2009)

Static Validation of C Preprocessor Macros. - Andreas Saebjoernsen; Lingxiao Jiang; Daniel J. Quinlan; Zhendong Su 001 (ASE, 2009)

Structure and Dynamics of Research Collaboration in Computer Science. - Christian Bird; Earl T. Barr; Andre Nash; Premkumar T. Devanbu; Vladimir Filkov; Zhendong Su 001 (SDM, 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 001; Shyhtsun Felix Wu; Frederic T. Chong (Trans. Comput. Sci., 2009)

Online inference and enforcement of temporal properties. - Mark Gabel; Zhendong Su 001 (ICSE (1), 2010)

Has the bug really been fixed? - Zhongxian Gu; Earl T. Barr; David J. Hamilton; Zhendong Su 001 (ICSE (1), 2010)

Automatic detection of unsafe component loadings. - Taeho Kwon; Zhendong Su 001 (ISSTA, 2010)

Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. - Enyi Tang; Earl T. Barr; Xuandong Li; Zhendong Su 001 (ISSTA, 2010)

Scalable and systematic detection of buggy inconsistencies in source code. - Mark Gabel; Junfeng Yang; Yuan Yu; Moisés Goldszmidt; Zhendong Su 001 (OOPSLA, 2010)

A study of the uniqueness of source code. - Mark Gabel; Zhendong Su 001 (SIGSOFT FSE, 2010)

Modeling High-Level Behavior Patterns for Precise Similarity Analysis of Software. - Taeho Kwon; Zhendong Su 001 (ICDM, 2011)

BQL: capturing and reusing debugging knowledge. - Zhongxian Gu; Earl T. Barr; Zhendong Su 001 (ICSE, 2011)

Synthesizing method sequences for high-coverage testing. - Suresh Thummalapenta; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Zhendong Su 001 (OOPSLA, 2011)

Static Detection of Access Control Vulnerabilities in Web Applications. - Fangqi Sun; Liang Xu; Zhendong Su 001 (USENIX Security Symposium, 2011)

Static Detection of Unsafe Component Loadings. - Taeho Kwon; Zhendong Su 001 (CC, 2012)

Liberating the programmer with prorogued programming. - Mehrdad Afshari; Earl T. Barr; Zhendong Su 001 (Onward!, 2012)

Reusing debugging knowledge via trace-based bug search. - Zhongxian Gu; Earl T. Barr; Drew Schleck; Zhendong Su 001 (OOPSLA, 2012)

Testing mined specifications. - Mark Gabel; Zhendong Su 001 (SIGSOFT FSE, 2012)

Detecting and analyzing insecure component usage. - Taeho Kwon; Zhendong Su 001 (SIGSOFT FSE, 2012)

Automatic Detection of Unsafe Dynamic Component Loadings. - Taeho Kwon; Zhendong Su 001 (IEEE Trans. Software Eng., 2012)

SmartSynth: synthesizing smartphone automation scripts from natural language. - Vu Le 002; Sumit Gulwani; Zhendong Su 001 (MobiSys, 2013)

Keyword programming for TouchDevelop. - Vu Le 002; Jonathan de Halleux; Sumit Gulwani; Zhendong Su 001 (MobiSys, 2013)

Steering symbolic execution to less traveled paths. - You Li; Zhendong Su 001; Linzhang Wang; Xuandong Li (OOPSLA, 2013)

Detecting API documentation errors. - Hao Zhong 001; Zhendong Su 001 (OOPSLA, 2013)

Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. - Qirun Zhang; Michael R. Lyu; Hao Yuan; Zhendong Su 001 (PLDI, 2013)

Automatic detection of floating-point exceptions. - Earl T. Barr; Thanh Vo; Vu Le 002; Zhendong Su 001 (POPL, 2013)

Server interface descriptions for automated testing of JavaScript web applications. - Casper Svenning Jensen; Anders Møller; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2013)

An empirical analysis of the co-evolution of schema and code in database applications. - Dong Qiu; Bixin Li; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2013)

Abstracting Runtime Heaps for Program Understanding. - Mark Marron; César Sánchez 001; Zhendong Su 001; Manuel Fähndrich (IEEE Trans. Software Eng., 2013)

Detecting Logic Vulnerabilities in E-commerce Applications. - Fangqi Sun; Liang Xu; Zhendong Su 001 (NDSS, 2014)

Capturing and Exploiting IDE Interactions. - Zhongxian Gu; Drew Schleck; Earl T. Barr; Zhendong Su 001 (Onward!, 2014)

Efficient subcubic alias analysis for C. - Qirun Zhang; Xiao Xiao 003; Charles Zhang 001; Hao Yuan; Zhendong Su 001 (OOPSLA, 2014)

Compiler validation via equivalence modulo inputs. - Vu Le 002; Mehrdad Afshari; Zhendong Su 001 (PLDI, 2014)

On the localness of software. - Zhaopeng Tu; Zhendong Su 001; Premkumar T. Devanbu (SIGSOFT FSE, 2014)

X-Force: Force-Executing Binary Programs for Security Applications. - Fei Peng; Zhui Deng; Xiangyu Zhang 001; Dongyan Xu; Zhiqiang Lin 001; Zhendong Su 001 (USENIX Security Symposium, 2014)

Combining Symbolic Execution and Model Checking for Data Flow Testing. - Ting Su 001; Zhoulai Fu; Geguang Pu; Jifeng He 001; Zhendong Su 001 (ICSE (1), 2015)

An Empirical Study on Real Bug Fixes. - Hao Zhong 001; Zhendong Su 001 (ICSE (1), 2015)

A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. - Daming Zou; Ran Wang; Yingfei Xiong 001; Lu Zhang 023; Zhendong Su 001; Hong Mei 001 (ICSE (1), 2015)

Automatic Generation of Raven's Progressive Matrices. - Ke Wang 022; Zhendong Su 001 (IJCAI, 2015)

Automated Geometry Theorem Proving for Human-Readable Proofs. - Ke Wang 022; Zhendong Su 001 (IJCAI, 2015)

Randomized stress-testing of link-time optimizers. - Vu Le 002; Chengnian Sun; Zhendong Su 001 (ISSTA, 2015)

Automated backward error analysis for numerical code. - Zhoulai Fu; Zhaojun Bai; Zhendong Su 001 (OOPSLA, 2015)

Finding deep compiler bugs via guided stochastic program mutation. - Vu Le 002; Chengnian Sun; Zhendong Su 001 (OOPSLA, 2015)

Guided differential testing of certificate validation in SSL/TLS implementations. - Yuting Chen 001; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2015)

GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. - Kai Wang 029; Guoqing Xu 001; Zhendong Su 001; Yu David Liu (USENIX ATC, 2015)

A Study of "Wheat" and "Chaff" in Source Code. - Martin Velez; Dong Qiu; You Zhou; Earl T. Barr; Zhendong Su 001 (CoRR, 2015)

XSat: A Fast Floating-Point Satisfiability Solver. - Zhoulai Fu; Zhendong Su 001 (CAV (2), 2016)

Finding and analyzing compiler warning defects. - Chengnian Sun; Vu Le 002; Zhendong Su 001 (ICSE, 2016)

Dimensionally Guided Synthesis of Mathematical Word Problems. - Ke Wang 022; Zhendong Su 001 (IJCAI, 2016)

Toward understanding compiler bugs in GCC and LLVM. - Chengnian Sun; Vu Le 002; Qirun Zhang; Zhendong Su 001 (ISSTA, 2016)

Automatic runtime recovery via error handler synthesis. - Tianxiao Gu; Chengnian Sun; Xiaoxing Ma; Jian Lü 001; Zhendong Su 001 (ASE, 2016)

Building white-box abstractions by program refinement. - Mehrdad Afshari; Zhendong Su 001 (Onward!, 2016)

Finding compiler bugs via live code mutation. - Chengnian Sun; Vu Le 002; Zhendong Su 001 (OOPSLA, 2016)

Coverage-directed differential testing of JVM implementations. - Yuting Chen 001; Ting Su 001; Chengnian Sun; Zhendong Su 001; Jianjun Zhao 001 (PLDI, 2016)

On the naturalness of software. - Abram Hindle; Earl T. Barr; Mark Gabel; Zhendong Su 001; Premkumar T. Devanbu (Commun. ACM, 2016)

Automated coverage-driven testing: combining symbolic execution and model checking. - Ting Su 001; Geguang Pu; Weikai Miao; Jifeng He 001; Zhendong Su 001 (Sci. China Inf. Sci., 2016)

Toward Rapid Transformation of Ideas into Software. - Mehrdad Afshari; Zhendong Su 001 (CoRR, 2016)

Mathematical Execution: A Unified Approach for Testing Numerical Code. - Zhoulai Fu; Zhendong Su 001 (CoRR, 2016)

Detecting Energy Bugs in Android Apps Using Static Analysis. - Hao Jiang; Hongli Yang; Shengchao Qin; Zhendong Su 001; Jian Zhang 001; Jun Yan 009 (ICFEM, 2017)

Stochastic optimization of program obfuscation. - Han Liu 010; Chengnian Sun; Zhendong Su 001; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (ICSE, 2017)

Achieving high coverage for floating-point code via unconstrained programming. - Zhoulai Fu; Zhendong Su 001 (PLDI, 2017)

Skeletal program enumeration for rigorous compiler testing. - Qirun Zhang; Chengnian Sun; Zhendong Su 001 (PLDI, 2017)

Context-sensitive data-dependence analysis via linear conjunctive language reachability. - Qirun Zhang; Zhendong Su 001 (POPL, 2017)

Guided, stochastic model-based GUI testing of Android apps. - Ting Su 001; Guozhu Meng; Yuting Chen 001; Ke Wu; Weiming Yang; Yao Yao; Geguang Pu; Yang Liu 003; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2017)

Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version). - Zhoulai Fu; Zhendong Su 001 (CoRR, 2017)

Data-Driven Feedback Generation for Introductory Programming Exercises. - Ke Wang 022; Rishabh Singh; Zhendong Su 001 (CoRR, 2017)

Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs. - Ke Wang 022; Zhendong Su 001 (CoRR, 2017)

Dynamic Neural Program Embedding for Program Repair. - Ke Wang 022; Rishabh Singh; Zhendong Su 001 (CoRR, 2017)

A Survey on Data-Flow Testing. - Ting Su 001; Ke Wu; Weikai Miao; Geguang Pu; Jifeng He 001; Yuting Chen 001; Zhendong Su 001 (ACM Comput. Surv., 2017)

Understanding the syntactic rule usage in java. - Dong Qiu; Bixin Li; Earl T. Barr; Zhendong Su 001 (J. Syst. Softw., 2017)

Dynamic Neural Program Embeddings for Program Repair. - Ke Wang 022; Rishabh Singh; Zhendong Su 001 (ICLR (Poster), 2018)

Large-scale analysis of framework-specific exceptions in Android apps. - Lingling Fan 003; Ting Su 001; Sen Chen 001; Guozhu Meng; Yang Liu 003; Lihua Xu; Geguang Pu; Zhendong Su 001 (ICSE, 2018)

Perses: syntax-guided program reduction. - Chengnian Sun; Yuanbo Li; Qirun Zhang; Tianxiao Gu; Zhendong Su 001 (ICSE, 2018)

Symbolic verification of regular properties. - Hengbiao Yu; Zhenbang Chen; Ji Wang 001; Zhendong Su 001; Wei Dong 006 (ICSE, 2018)

Calling-to-reference context translation via constraint-guided CFL-reachability. - Cheng Cai; Qirun Zhang; Zhiqiang Zuo 002; Khanh Nguyen 001; Guoqing Harry Xu; Zhendong Su 001 (PLDI, 2018)

Search, align, and repair: data-driven feedback generation for introductory programming exercises. - Ke Wang 022; Rishabh Singh; Zhendong Su 001 (PLDI, 2018)

Ten years of hunting for similar code for fun and profit (keynote). - Stéphane Glondu; Lingxiao Jiang; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2018)

Combining Symbolic Execution and Model Checking to Verify MPI Programs. - Hengbiao Yu; Zhenbang Chen; Xianjin Fu; Ji Wang 001; Zhendong Su 001; Wei Dong 006; Chun Huang (CoRR, 2018)

Towards Efficient Data-flow Test Data Generation. - Ting Su 001; Chengyu Zhang 001; Yichen Yan; Lingling Fan 003; Geguang Pu; Yang Liu 003; Zhoulai Fu; Zhendong Su 001 (CoRR, 2018)

How test suites impact fault localisation starting from the size. - Yan Lei; Chengnian Sun; Xiaoguang Mao; Zhendong Su 001 (IET Softw., 2018)

Deep differential testing of JVM implementations. - Yuting Chen 001; Ting Su 001; Zhendong Su 001 (ICSE, 2019)

Practical GUI testing of Android applications via model abstraction and refinement. - Tianxiao Gu; Chengnian Sun; Xiaoxing Ma; Chun Cao; Chang Xu 001; Yuan Yao 001; Qirun Zhang; Jian Lu 001; Zhendong Su 001 (ICSE, 2019)

Global optimization of numerical programs via prioritized stochastic algebraic transformations. - Xie Wang; Huaijin Wang 001; Zhendong Su 001; Enyi Tang; Xin Chen 027; Weijun Shen; Zhenyu Chen 001; Linzhang Wang; Xianpei Zhang; Xuandong Li (ICSE, 2019)

Exposing library API misuses via mutation analysis. - Ming Wen 001; Yepang Liu 001; Rongxin Wu; Xuan Xie; Shing-Chi Cheung; Zhendong Su 001 (ICSE, 2019)

Hunting for bugs in code coverage tools via randomized differential testing. - Yibiao Yang; Yuming Zhou; Hao Sun 021; Zhendong Su 001; Zhiqiang Zuo 002; Lei Xu 003; Baowen Xu (ICSE, 2019)

Effective floating-point analysis via weak-distance minimization. - Zhoulai Fu; Zhendong Su 001 (PLDI, 2019)

Exploring and exploiting the correlations between bug-inducing and bug-fixing commits. - Ming Wen 001; Rongxin Wu; Yepang Liu 001; Yongqiang Tian 001; Xuan Xie; Shing-Chi Cheung; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2019)

Finding and understanding bugs in software model checkers. - Chengyu Zhang 001; Ting Su 001; Yichen Yan; Fuyuan Zhang; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2019)

Learning Blended, Precise Semantic Program Embeddings. - Ke Wang 022; Zhendong Su 001 (CoRR, 2019)

Metamorphic Testing for Object Detection Systems. - Shuai Wang 011; Zhendong Su 001 (CoRR, 2019)

Detecting nondeterministic payment bugs in Ethereum smart contracts. - Shuai Wang 011; Chengyu Zhang 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2019)

Structure-invariant testing for machine translation. - Pinjia He; Clara Meister; Zhendong Su 001 (ICSE, 2020)

Symbolic verification of message passing interface programs. - Hengbiao Yu; Zhenbang Chen; Xianjin Fu; Ji Wang 001; Zhendong Su 001; Jun Sun 001; Chun Huang; Wei Dong 006 (ICSE, 2020)

Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs. - Jiayu Zhu; Chengcheng Wan 001; Pengbo Nie; Yuting Chen 001; Zhendong Su 001 (ICSME, 2020)

Metamorphic Object Insertion for Testing Object Detection Systems. - Shuai Wang 011; Zhendong Su 001 (ASE, 2020)

Testing Database Engines via Pivoted Query Synthesis. - Manuel Rigger; Zhendong Su 001 (OSDI, 2020)

Blended, precise semantic program embeddings. - Ke Wang 022; Zhendong Su 001 (PLDI, 2020)

Validating SMT solvers via semantic fusion. - Dominik Winterer; Chengyu Zhang 001; Zhendong Su 001 (PLDI, 2020)

Student Adoption and Perceptions of a Web Integrated Development Environment: An Experience Report. - Martin Velez; Michael Yen; Mathew Le; Zhendong Su 001; Mohammad Amin Alipour (SIGCSE, 2020)

Machine translation testing via pathological invariance. - Shashij Gupta; Pinjia He; Clara Meister; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2020)

Detecting optimization bugs in database engines via non-optimizing reference engine construction. - Manuel Rigger; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2020)

On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers. - Dominik Winterer; Chengyu Zhang 001; Zhendong Su 001 (CoRR, 2020)

Automated Functional Fuzzing of Android Apps. - Ting Su 001; Yichen Yan; Jue Wang; Zhendong Su 001 (CoRR, 2020)

ShapeFlow: Dynamic Shape Interpreter for TensorFlow. - Sahil Verma; Zhendong Su 001 (CoRR, 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 001; Torsten Hoefler (Proc. ACM Program. Lang., 2020)

Finding bugs in database systems via query partitioning. - Manuel Rigger; Zhendong Su 001 (Proc. ACM Program. Lang., 2020)

On the unusual effectiveness of type-aware operator mutations for testing SMT solvers. - Dominik Winterer; Chengyu Zhang 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2020)

Detecting floating-point errors via atomic conditions. - Daming Zou; Muhan Zeng; Yingfei Xiong 001; Zhoulai Fu; Lu Zhang 023; Zhendong Su 001 (Proc. ACM Program. Lang., 2020)

Testing Machine Translation via Referential Transparency. - Pinjia He; Clara Meister; Zhendong Su 001 (ICSE, 2021)

Understanding and finding system setting-related defects in Android apps. - Jingling Sun; Ting Su 001; Junxin Li; Zhen Dong; Geguang Pu; Tao Xie 001; Zhendong Su 001 (ISSTA, 2021)

SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. - Jiang Zhang; Shuai Wang 011; Manuel Rigger; Pinjia He; Zhendong Su 001 (OSDI, 2021)

Benchmarking automated GUI testing for Android against real-world bugs. - Ting Su 001; Jue Wang; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2021)

Algot: An Educational Programming Language with Human-Intuitive Visual Syntax. - Sverrir Thorgeirsson; Zhendong Su 001 (VL/HCC, 2021)

Generative type-aware mutation for testing SMT solvers. - Jiwon Park; Dominik Winterer; Chengyu Zhang 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2021)

Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs. - Ting Su 001; Yichen Yan; Jue Wang; Jingling Sun; Yiheng Xiong; Geguang Pu; Ke Wang 022; Zhendong Su 001 (Proc. ACM Program. Lang., 2021)

Understanding and exploiting optimal function inlining. - Theodoros Theodoridis; Tobias Grosser; Zhendong Su 001 (ASPLOS, 2022)

Finding missed optimizations through the lens of dead code elimination. - Theodoros Theodoridis; Manuel Rigger; Zhendong Su 001 (ASPLOS, 2022)

Does Deliberately Failing Improve Learning in Introductory Computer Science? - Sverrir Thorgeirsson; Tanmay Sinha; Felix Friedrich; Zhendong Su 001 (EC-TEL, 2022)

Finding and Understanding Incompleteness Bugs in SMT Solvers. - Mauro Bringolf; Dominik Winterer; Zhendong Su 001 (ASE, 2022)

Intramorphic Testing: A New Approach to the Test Oracle Problem. - Manuel Rigger; Zhendong Su 001 (Onward!, 2022)

Forest: Structural Code Editing with Multiple Cursors. - Philippe Voinov; Manuel Rigger; Zhendong Su 001 (Onward!, 2022)

Bridging the Syntax-Semantics Gap of Programming. - Theo B. Weidmann; Sverrir Thorgeirsson; Zhendong Su 001 (Onward!, 2022)

IRDL: an IR definition language for SSA compilers. - Mathieu Fehr; Jeff Niu; River Riddle; Mehdi Amini; Zhendong Su 001; Tobias Grosser (PLDI, 2022)

Detecting non-crashing functional bugs in Android apps via deep-state differential analysis. - Jue Wang; Yanyan Jiang 001; Ting Su 001; Shaohua Li 002; Chang Xu 001; Jian Lu 001; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2022)

Oracle-free repair synthesis for floating-point programs. - Daming Zou; Yuchen Gu; Yuanfeng Shi; Mingzhe Wang; Yingfei Xiong 001; Zhendong Su 001 (Proc. ACM Program. Lang., 2022)

Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android Apps. - Ting Su 001; Lingling Fan 003; Sen Chen 001; Yang Liu 003; Lihua Xu; Geguang Pu; Zhendong Su 001 (IEEE Trans. Software Eng., 2022)

Forest: Structural Code Editing with Multiple Cursors. - Philippe Voinov; Manuel Rigger; Zhendong Su 001 (Zenodo, 2022)

Forest: Structural Code Editing with Multiple Cursors. - Philippe Voinov; Manuel Rigger; Zhendong Su 001 (Zenodo, 2022)

Finding Unstable Code via Compiler-Driven Differential Testing. - Shaohua Li 002; Zhendong Su 001 (ASPLOS (3), 2023)

Towards Efficient Data-Flow Test Data Generation. - Ting Su 001; Chengyu Zhang 001; Yichen Yan; Lingling Fan 003; Yang Liu 003; Zhoulai Fu; Zhendong Su 001 (Theories of Programming and Formal Methods, 2023)

Testing Graph Database Engines via Query Partitioning. - Matteo Kamm; Manuel Rigger; Chengyu Zhang 001; Zhendong Su 001 (ISSTA, 2023)

An Empirical Study of Functional Bugs in Android Apps. - Yiheng Xiong; Mengqian Xu; Ting Su 001; Jingling Sun; Jue Wang; He Wen; Geguang Pu; Jifeng He 001; Zhendong Su 001 (ISSTA, 2023)

Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. - Zu-Ming Jiang; Si Liu; Manuel Rigger; Zhendong Su 001 (OSDI, 2023)

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android. - Enze Ma; Shan Huang; Weigang He; Ting Su 001; Jue Wang; Huiyu Liu; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2023)

Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps. - Jingling Sun; Ting Su 001; Jiayi Jiang; Jue Wang; Geguang Pu; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2023)

DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query Generation. - Zu-Ming Jiang; Jia-Ju Bai; Zhendong Su 001 (USENIX Security Symposium, 2023)

Precise and Generalized Robustness Certification for Neural Networks. - Yuanyuan Yuan; Shuai Wang 011; Zhendong Su 001 (USENIX Security Symposium, 2023)

Vision-Based Mobile App GUI Testing: A Survey. - Shengcheng Yu; Chunrong Fang; Ziyuan Tuo; Quanjun Zhang; Chunyang Chen 001; Zhenyu Chen 001; Zhendong Su 001 (CoRR, 2023)

Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations. - Thodoris Sotiropoulos; Stefanos Chaliasos; Zhendong Su 001 (CoRR, 2023)

Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS Implementations. - Pengbo Nie; Chengcheng Wan 001; Jiayu Zhu; Ziyi Lin; Yuting Chen 001; Zhendong Su 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Accelerating Fuzzing through Prefix-Guided Execution. - Shaohua Li 002; Zhendong Su 001 (Proc. ACM Program. Lang., 2023)

Characterizing and Finding System Setting-Related Defects in Android Apps. - Jingling Sun; Ting Su 001; Kai Liu; Chao Peng 002; Zhao Zhang; Geguang Pu; Tao Xie 001; Zhendong Su 001 (IEEE Trans. Software Eng., 2023)

Testing Graph Database Engines via Query Partitioning. - Matteo Kamm; Manuel Rigger; Chengyu Zhang 001; Zhendong Su 001 (Zenodo, 2023)

UBFuzz: Finding Bugs in Sanitizer Implementations. - Shaohua Li 002; Zhendong Su 001 (ASPLOS (1), 2024)

HyperTheft: Thieving Model Weights from TEE-Shielded Neural Networks via Ciphertext Side Channels. - Yuanyuan Yuan; Zhibo Liu; Sen Deng; Yanzuo Chen; Shuai Wang 011; Yinqian Zhang; Zhendong Su 001 (CCS, 2024)

An Electroencephalography Study on Cognitive Load in Visual and Textual Programming. - Sverrir Thorgeirsson; Chengyu Zhang 001; Theo B. Weidmann; Karl-Heinz Weidmann; Zhendong Su 001 (ICER (1), 2024)

Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms. - Shengcheng Yu; Chunrong Fang; Mingzhe Du; Yuchen Ling; Zhenyu Chen 001; Zhendong Su 001 (ICSE, 2024)

See the Forest, not Trees: Unveiling and Escaping the Pitfalls of Error-Triggering Inputs in Neural Network Testing. - Yuanyuan Yuan; Shuai Wang 011; Zhendong Su 001 (ISSTA, 2024)

Assessing Live Programming for Program Comprehension. - Oliver Graf; Sverrir Thorgeirsson; Zhendong Su 001 (ITiCSE (1), 2024)

General and Practical Property-based Testing for Android Apps. - Yiheng Xiong; Ting Su 001; Jue Wang; Jingling Sun; Geguang Pu; Zhendong Su 001 (ASE, 2024)

A Direct Manipulation Programming Environment for Teaching Introductory and Advanced Software Testing. - Maximilian Georg Barth; Sverrir Thorgeirsson; Zhendong Su 001 (Koli Calling, 2024)

The Hidden Program State Hurts Everyone. - Sverrir Thorgeirsson; Oliver Graf; Zhendong Su 001 (Onward!, 2024)

Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. - Zu-Ming Jiang; Zhendong Su 001 (OSDI, 2024)

Validating the eBPF Verifier via State Embedding. - Hao Sun 021; Zhendong Su 001 (OSDI, 2024)

Recursion in Secondary Computer Science Education: A Comparative Study of Visual Programming Approaches. - Sverrir Thorgeirsson; Lennart C. Lais; Theo B. Weidmann; Zhendong Su 001 (SIGCSE (1), 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 001 (SIGCSE (1), 2024)

Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages. - Vince Szabo; Dominik Winterer; Zhendong Su 001 (CoRR, 2024)

Dinkel: Testing Graph Database Engines via State-Aware Query Generation. - Dominic Wüst; Zu-Ming Jiang; Zhendong Su 001 (CoRR, 2024)

SMT2Test: From SMT Formulas to Effective Test Cases. - Chengyu Zhang 001; Zhendong Su 001 (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 001 (Proc. ACM Program. Lang., 2024)

Boosting Compiler Testing by Injecting Real-World Code. - Shaohua Li 002; Theodoros Theodoridis; Zhendong Su 001 (Proc. ACM Program. Lang., 2024)

Understanding and Finding Java Decompiler Bugs. - Yifei Lu; Weidong Hou; Minxue Pan; Xuandong Li; Zhendong Su 001 (Proc. ACM Program. Lang., 2024)

Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior. - Theodoros Theodoridis; Zhendong Su 001 (Proc. ACM Program. Lang., 2024)

Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration. - Dominik Winterer; Zhendong Su 001 (Proc. ACM Program. Lang., 2024)

API-Driven Program Synthesis for Testing Static Typing Implementations. - Thodoris Sotiropoulos; Stefanos Chaliasos; Zhendong Su 001 (Proc. ACM Program. Lang., 2024)

PLDI 2024 Artifact for "Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior". - Theodoros Theodoridis; Zhendong Su 001 (Zenodo, 2024)

PLDI 2024 Artifact for "Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior". - Theodoros Theodoridis; Zhendong Su 001 (Zenodo, 2024)

PLDI 2024 Artifact for "Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior". - Theodoros Theodoridis; Zhendong Su 001 (Zenodo, 2024)

Artifact for OOPSLA'2024 paper "When Your Infrastructure is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems". - Georgios-Petros Drosos; Thodoris Sotiropoulos; Georgios Alexopoulos; Dimitrios Mitropoulos; Zhendong Su 001 (Zenodo, 2024)

Practical, Automated Scenario-Based Mobile App Testing. - Shengcheng Yu; Chunrong Fang; Mingzhe Du; Zimin Ding; Zhenyu Chen 001; Zhendong Su 001 (IEEE Trans. Software Eng., 2024)

Artifact: SMT2Test: From SMT Formulas to Effective Test Cases. - Chengyu Zhang 001; Zhendong Su 001 (Zenodo, 2024)

Effective, Platform-Independent GUI Testing via Image Embedding and Reinforcement Learning. - Shengcheng Yu; Chunrong Fang; Xin Li 034; Yuchen Ling; Zhenyu Chen 001; Zhendong Su 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Sand: Decoupling Sanitization from Fuzzing for Low Overhead. - Ziqiao Kong; Shaohua Li 002; Heqing Huang 002; Zhendong Su 001 (ICSE, 2025)

Map, Filter, and Conquer: A Visual Tool for Learning Higher-Order Functions. - Silvan Renggli; Sverrir Thorgeirsson; Theo B. Weidmann; Zhendong Su 001 (ITiCSE (1), 2025)

What Can Computer Science Educators Learn From the Failures of Top-Down Pedagogy? - Sverrir Thorgeirsson; Tracy Ewen; Zhendong Su 001 (SIGCSE (1), 2025)

CipherSteal: Stealing Input Data from TEE-Shielded Neural Networks with Ciphertext Side Channels. - Yuanyuan Yuan; Zhibo Liu; Sen Deng; Yanzuo Chen; Shuai Wang 011; Yinqian Zhang; Zhendong Su 001 (SP, 2025)

Mokav: Execution-driven differential testing with LLMs. - Khashayar Etemadi; Bardia Mohammadi; Zhendong Su 001; Martin Monperrus (J. Syst. Softw., 2025)

API-Guided Dataset Synthesis to Finetune Large Code Models. - Zongjie Li; Daoyuan Wu; Shuai Wang 011; Zhendong Su 001 (Proc. ACM Program. Lang., 2025)

Relaxing Alias Analysis: Exploring the Unexplored Space. - Michel Weber 001; Theodoros Theodoridis; Zhendong Su 001 (Proc. ACM Program. Lang., 2025)

Divergence-Aware Testing of Graphics Shader Compiler Back-Ends. - Dongwei Xiao; Shuai Wang 011; Zhibo Liu; Yiteng Peng; Daoyuan Wu; Zhendong Su 001 (Proc. ACM Program. Lang., 2025)

Validating JIT Compilers via Compilation Space Exploration. - Cong Li; Yanyan Jiang 001; Chang Xu 001; Zhendong Su 001 (ACM Trans. Comput. Syst., 2025)

SAND: Decoupling Sanitization from Fuzzing for Low Overhead. - Ziqiao Kong; Shaohua Li 002; Heqing Huang 002; Zhendong Su 001 (Zenodo, 2025)

An Empirical Study of Rust-Specific Bugs in the rustc Compiler. - Zixi Liu; Yang Feng 003; Yunbo Ni; Shaohua Li 002; Xizhe Yin; Qingkai Shi; Baowen Xu; Zhendong Su 001 (CoRR, 2025)

Differentiation-Based Extraction of Proprietary Data from Fine-Tuned LLMs. - Zongjie Li; Daoyuan Wu; Shuai Wang 011; Zhendong Su 001 (CoRR, 2025)