![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Zhendong Su 0001
Person information
- affiliation: ETH Zurich, Switzerland
- affiliation: University of California Davis, USA
- affiliation (PhD 2002): University of California Berkeley, CA, USA
Other persons with the same name
- Zhendong Su 0002 — University of Science and Technology of China, School of Management, Hefei, China
- Zhendong Su 0003 — University of Chinese Academy of Sciences, School of Economics and Management, Beijing, China
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j29]Yifei Lu
, Weidong Hou, Minxue Pan, Xuandong Li, Zhendong Su
:
Understanding and Finding Java Decompiler Bugs. Proc. ACM Program. Lang. 8(OOPSLA1): 1380-1406 (2024) - [j28]Shaohua Li
, Theodoros Theodoridis
, Zhendong Su
:
Boosting Compiler Testing by Injecting Real-World Code. Proc. ACM Program. Lang. 8(PLDI): 223-245 (2024) - [j27]Theodoros Theodoridis
, Zhendong Su
:
Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior. Proc. ACM Program. Lang. 8(PLDI): 671-691 (2024) - [j26]Thodoris Sotiropoulos
, Stefanos Chaliasos
, Zhendong Su
:
API-Driven Program Synthesis for Testing Static Typing Implementations. Proc. ACM Program. Lang. 8(POPL): 1850-1881 (2024) - [j25]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): 1949-1966 (2024) - 2023
- [j24]Shaohua Li
, Zhendong Su
:
Accelerating Fuzzing through Prefix-Guided Execution. Proc. ACM Program. Lang. 7(OOPSLA1): 1-27 (2023) - [j23]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): 3:1-3:32 (2023) - [j22]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): 2941-2963 (2023) - 2022
- [j21]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): 957-985 (2022) - [j20]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): 1115-1137 (2022) - 2021
- [j19]Jiwon Park, Dominik Winterer
, Chengyu Zhang
, Zhendong Su:
Generative type-aware mutation for testing SMT solvers. Proc. ACM Program. Lang. 5(OOPSLA): 1-19 (2021) - [j18]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): 1-31 (2021) - 2020
- [j17]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): 193:1-193:25 (2020) - [j16]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): 195:1-195:28 (2020) - [j15]Manuel Rigger, Zhendong Su
:
Finding bugs in database systems via query partitioning. Proc. ACM Program. Lang. 4(OOPSLA): 211:1-211:30 (2020) - [j14]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): 60:1-60:27 (2020) - 2019
- [j13]Shuai Wang, Chengyu Zhang
, Zhendong Su
:
Detecting nondeterministic payment bugs in Ethereum smart contracts. Proc. ACM Program. Lang. 3(OOPSLA): 189:1-189:29 (2019) - 2018
- [j12]Yan Lei, Chengnian Sun, Xiaoguang Mao, Zhendong Su
:
How test suites impact fault localisation starting from the size. IET Softw. 12(3): 190-205 (2018) - 2017
- [j11]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): 5:1-5:35 (2017) - [j10]Dong Qiu, Bixin Li
, Earl T. Barr
, Zhendong Su
:
Understanding the syntactic rule usage in java. J. Syst. Softw. 123: 160-172 (2017) - 2016
- [j9]Abram Hindle, Earl T. Barr
, Mark Gabel, Zhendong Su
, Premkumar T. Devanbu
:
On the naturalness of software. Commun. ACM 59(5): 122-131 (2016) - [j8]Ting Su, Geguang Pu, Weikai Miao, Jifeng He, Zhendong Su
:
Automated coverage-driven testing: combining symbolic execution and model checking. Sci. China Inf. Sci. 59(9): 98101 (2016) - 2013
- [j7]Mark Marron, César Sánchez
, Zhendong Su
, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. IEEE Trans. Software Eng. 39(6): 774-786 (2013) - 2012
- [j6]Taeho Kwon, Zhendong Su
:
Automatic Detection of Unsafe Dynamic Component Loadings. IEEE Trans. Software Eng. 38(2): 293-313 (2012) - 2009
- [j5]Jedidiah R. Crandall, John Brevik, Shaozhi Ye, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su
, Shyhtsun Felix Wu, Frederic T. Chong
:
Putting Trojans on the Horns of a Dilemma: Redundancy for Information Theft Detection. Trans. Comput. Sci. 4: 244-262 (2009) - 2008
- [j4]Ghassan Misherghi, Lihua Yuan, Zhendong Su
, Chen-Nee Chuah
, Hao Chen
:
A general framework for benchmarking firewall optimization techniques. IEEE Trans. Netw. Serv. Manag. 5(4): 227-238 (2008) - 2007
- [j3]Gary Wassermann, Carl Gould, Zhendong Su
, Premkumar T. Devanbu
:
Static checking of dynamically generated queries in database applications. ACM Trans. Softw. Eng. Methodol. 16(4): 14 (2007) - 2005
- [j2]Zhendong Su
, David A. Wagner:
A class of polynomially solvable range constraints for interval analysis without widenings. Theor. Comput. Sci. 345(1): 122-138 (2005) - 2000
- [j1]Alexander Aiken, Manuel Fähndrich, Zhendong Su
:
Detecting races in Relay Ladder Logic programs. Int. J. Softw. Tools Technol. Transf. 3(1): 93-105 (2000)
Conference and Workshop Papers
- 2024
- [c148]Shaohua Li
, Zhendong Su
:
UBFuzz: Finding Bugs in Sanitizer Implementations. ASPLOS (1) 2024: 435-449 - [c147]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: 280-292 - [c146]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: 130:1-130:13 - [c145]Oliver Graf
, Sverrir Thorgeirsson
, Zhendong Su
:
Assessing Live Programming for Program Comprehension. ITiCSE (1) 2024 - [c144]Hao Sun, Zhendong Su:
Validating the eBPF Verifier via State Embedding. OSDI 2024: 615-628 - [c143]Zu-Ming Jiang, Zhendong Su:
Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation. OSDI 2024: 821-835 - [c142]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: 1321-1327 - [c141]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: 1328-1334 - 2023
- [c140]Shaohua Li, Zhendong Su:
Finding Unstable Code via Compiler-Driven Differential Testing. ASPLOS (3) 2023: 238-251 - [c139]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: 257-293 - [c138]Matteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su:
Testing Graph Database Engines via Query Partitioning. ISSTA 2023: 140-149 - [c137]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: 1319-1331 - [c136]Zu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su:
Detecting Transactional Bugs in Database Engines via Graph-Based Oracle Construction. OSDI 2023: 397-417 - [c135]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: 592-604 - [c134]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: 1088-1100 - [c133]Cong Li
, Yanyan Jiang
, Chang Xu
, Zhendong Su
:
Validating JIT Compilers via Compilation Space Exploration. SOSP 2023: 66-79 - [c132]Yuanyuan Yuan, Shuai Wang, Zhendong Su:
Precise and Generalized Robustness Certification for Neural Networks. USENIX Security Symposium 2023: 4769-4786 - [c131]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: 4949-4965 - 2022
- [c130]Theodoros Theodoridis
, Manuel Rigger
, Zhendong Su
:
Finding missed optimizations through the lens of dead code elimination. ASPLOS 2022: 697-709 - [c129]Theodoros Theodoridis
, Tobias Grosser
, Zhendong Su
:
Understanding and exploiting optimal function inlining. ASPLOS 2022: 977-989 - [c128]Sverrir Thorgeirsson
, Tanmay Sinha
, Felix Friedrich, Zhendong Su:
Does Deliberately Failing Improve Learning in Introductory Computer Science? EC-TEL 2022: 608-614 - [c127]Mauro Bringolf, Dominik Winterer
, Zhendong Su
:
Finding and Understanding Incompleteness Bugs in SMT Solvers. ASE 2022: 43:1-43:10 - [c126]Theo B. Weidmann, Sverrir Thorgeirsson
, Zhendong Su:
Bridging the Syntax-Semantics Gap of Programming. Onward! 2022: 80-94 - [c125]Manuel Rigger, Zhendong Su:
Intramorphic Testing: A New Approach to the Test Oracle Problem. Onward! 2022: 128-136 - [c124]Philippe Voinov, Manuel Rigger, Zhendong Su:
Forest: Structural Code Editing with Multiple Cursors. Onward! 2022: 137-152 - [c123]Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, Tobias Grosser
:
IRDL: an IR definition language for SSA compilers. PLDI 2022: 199-212 - [c122]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: 434-446 - 2021
- [c121]Pinjia He, Clara Meister, Zhendong Su:
Testing Machine Translation via Referential Transparency. ICSE 2021: 410-422 - [c120]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: 204-215 - [c119]Jiang Zhang, Shuai Wang, Manuel Rigger, Pinjia He, Zhendong Su:
SANRAZOR: Reducing Redundant Sanitizer Checks in C/C++ Programs. OSDI 2021: 479-494 - [c118]Ting Su
, Jue Wang
, Zhendong Su:
Benchmarking automated GUI testing for Android against real-world bugs. ESEC/SIGSOFT FSE 2021: 119-130 - [c117]Sverrir Thorgeirsson
, Zhendong Su:
Algot: An Educational Programming Language with Human-Intuitive Visual Syntax. VL/HCC 2021: 1-5 - 2020
- [c116]Pinjia He, Clara Meister, Zhendong Su
:
Structure-invariant testing for machine translation. ICSE 2020: 961-973 - [c115]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: 1248-1260 - [c114]Jiayu Zhu, Chengcheng Wan
, Pengbo Nie, Yuting Chen, Zhendong Su
:
Guided, Deep Testing of X.509 Certificate Validation via Coverage Transfer Graphs. ICSME 2020: 243-254 - [c113]Shuai Wang, Zhendong Su
:
Metamorphic Object Insertion for Testing Object Detection Systems. ASE 2020: 1053-1065 - [c112]Manuel Rigger, Zhendong Su:
Testing Database Engines via Pivoted Query Synthesis. OSDI 2020: 667-682 - [c111]Ke Wang, Zhendong Su
:
Blended, precise semantic program embeddings. PLDI 2020: 121-134 - [c110]Dominik Winterer
, Chengyu Zhang
, Zhendong Su
:
Validating SMT solvers via semantic fusion. PLDI 2020: 718-730 - [c109]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: 1172-1178 - [c108]Shashij Gupta, Pinjia He, Clara Meister, Zhendong Su
:
Machine translation testing via pathological invariance. ESEC/SIGSOFT FSE 2020: 863-875 - [c107]Manuel Rigger, Zhendong Su
:
Detecting optimization bugs in database engines via non-optimizing reference engine construction. ESEC/SIGSOFT FSE 2020: 1140-1152 - 2019
- [c106]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: 269-280 - [c105]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: 488-498 - [c104]Ming Wen, Yepang Liu, Rongxin Wu
, Xuan Xie
, Shing-Chi Cheung
, Zhendong Su
:
Exposing library API misuses via mutation analysis. ICSE 2019: 866-877 - [c103]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: 1131-1141 - [c102]Yuting Chen, Ting Su, Zhendong Su
:
Deep differential testing of JVM implementations. ICSE 2019: 1257-1268 - [c101]Zhoulai Fu
, Zhendong Su
:
Effective floating-point analysis via weak-distance minimization. PLDI 2019: 439-452 - [c100]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: 326-337 - [c99]Chengyu Zhang
, Ting Su, Yichen Yan, Fuyuan Zhang, Geguang Pu, Zhendong Su
:
Finding and understanding bugs in software model checkers. ESEC/SIGSOFT FSE 2019: 763-773 - 2018
- [c98]Ke Wang, Rishabh Singh, Zhendong Su:
Dynamic Neural Program Embeddings for Program Repair. ICLR (Poster) 2018 - [c97]Chengnian Sun, Yuanbo Li, Qirun Zhang
, Tianxiao Gu, Zhendong Su:
Perses: syntax-guided program reduction. ICSE 2018: 361-371 - [c96]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: 408-419 - [c95]Hengbiao Yu, Zhenbang Chen, Ji Wang, Zhendong Su
, Wei Dong:
Symbolic verification of regular properties. ICSE 2018: 871-881 - [c94]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: 196-210 - [c93]Ke Wang, Rishabh Singh, Zhendong Su
:
Search, align, and repair: data-driven feedback generation for introductory programming exercises. PLDI 2018: 481-495 - [c92]Stéphane Glondu
, Lingxiao Jiang
, Zhendong Su:
Ten years of hunting for similar code for fun and profit (keynote). ESEC/SIGSOFT FSE 2018: 2 - 2017
- [c91]Hao Jiang, Hongli Yang, Shengchao Qin, Zhendong Su
, Jian Zhang, Jun Yan:
Detecting Energy Bugs in Android Apps Using Static Analysis. ICFEM 2017: 192-208 - [c90]Han Liu, Chengnian Sun, Zhendong Su
, Yu Jiang, Ming Gu, Jiaguang Sun:
Stochastic optimization of program obfuscation. ICSE 2017: 221-231 - [c89]Zhoulai Fu, Zhendong Su
:
Achieving high coverage for floating-point code via unconstrained programming. PLDI 2017: 306-319 - [c88]Qirun Zhang
, Chengnian Sun, Zhendong Su
:
Skeletal program enumeration for rigorous compiler testing. PLDI 2017: 347-361 - [c87]Qirun Zhang
, Zhendong Su
:
Context-sensitive data-dependence analysis via linear conjunctive language reachability. POPL 2017: 344-358 - [c86]Ting Su, Guozhu Meng, Yuting Chen, Ke Wu, Weiming Yang, Yao Yao, Geguang Pu, Yang Liu
, Zhendong Su
:
Guided, stochastic model-based GUI testing of Android apps. ESEC/SIGSOFT FSE 2017: 245-256 - 2016
- [c85]Zhoulai Fu, Zhendong Su
:
XSat: A Fast Floating-Point Satisfiability Solver. CAV (2) 2016: 187-209 - [c84]Chengnian Sun, Vu Le, Zhendong Su
:
Finding and analyzing compiler warning defects. ICSE 2016: 203-213 - [c83]Ke Wang, Zhendong Su:
Dimensionally Guided Synthesis of Mathematical Word Problems. IJCAI 2016: 2661-2668 - [c82]Chengnian Sun, Vu Le, Qirun Zhang
, Zhendong Su
:
Toward understanding compiler bugs in GCC and LLVM. ISSTA 2016: 294-305 - [c81]Tianxiao Gu, Chengnian Sun, Xiaoxing Ma
, Jian Lü, Zhendong Su
:
Automatic runtime recovery via error handler synthesis. ASE 2016: 684-695 - [c80]Mehrdad Afshari, Zhendong Su
:
Building white-box abstractions by program refinement. Onward! 2016: 74-81 - [c79]Chengnian Sun, Vu Le, Zhendong Su
:
Finding compiler bugs via live code mutation. OOPSLA 2016: 849-863 - [c78]Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su
, Jianjun Zhao:
Coverage-directed differential testing of JVM implementations. PLDI 2016: 85-99 - 2015
- [c77]Daming Zou, Ran Wang, Yingfei Xiong
, Lu Zhang, Zhendong Su
, Hong Mei:
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. ICSE (1) 2015: 529-539 - [c76]Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, Zhendong Su
:
Combining Symbolic Execution and Model Checking for Data Flow Testing. ICSE (1) 2015: 654-665 - [c75]Hao Zhong
, Zhendong Su
:
An Empirical Study on Real Bug Fixes. ICSE (1) 2015: 913-923 - [c74]Ke Wang, Zhendong Su:
Automatic Generation of Raven's Progressive Matrices. IJCAI 2015: 903-909 - [c73]Ke Wang, Zhendong Su:
Automated Geometry Theorem Proving for Human-Readable Proofs. IJCAI 2015: 1193-1199 - [c72]Vu Le, Chengnian Sun, Zhendong Su
:
Randomized stress-testing of link-time optimizers. ISSTA 2015: 327-337 - [c71]Vu Le, Chengnian Sun, Zhendong Su
:
Finding deep compiler bugs via guided stochastic program mutation. OOPSLA 2015: 386-399 - [c70]Zhoulai Fu, Zhaojun Bai, Zhendong Su
:
Automated backward error analysis for numerical code. OOPSLA 2015: 639-654 - [c69]Yuting Chen, Zhendong Su
:
Guided differential testing of certificate validation in SSL/TLS implementations. ESEC/SIGSOFT FSE 2015: 793-804 - [c68]Kai Wang, Guoqing Xu, Zhendong Su, Yu David Liu:
GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. USENIX ATC 2015: 387-401 - 2014
- [c67]Fangqi Sun, Liang Xu, Zhendong Su:
Detecting Logic Vulnerabilities in E-commerce Applications. NDSS 2014 - [c66]Zhongxian Gu, Drew Schleck, Earl T. Barr
, Zhendong Su
:
Capturing and Exploiting IDE Interactions. Onward! 2014: 83-94 - [c65]Qirun Zhang
, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su
:
Efficient subcubic alias analysis for C. OOPSLA 2014: 829-845 - [c64]Vu Le, Mehrdad Afshari, Zhendong Su
:
Compiler validation via equivalence modulo inputs. PLDI 2014: 216-226 - [c63]Zhaopeng Tu, Zhendong Su
, Premkumar T. Devanbu:
On the localness of software. SIGSOFT FSE 2014: 269-280 - [c62]Fei Peng, Zhui Deng, Xiangyu Zhang, Dongyan Xu, Zhiqiang Lin, Zhendong Su:
X-Force: Force-Executing Binary Programs for Security Applications. USENIX Security Symposium 2014: 829-844 - 2013
- [c61]Vu Le, Sumit Gulwani, Zhendong Su
:
SmartSynth: synthesizing smartphone automation scripts from natural language. MobiSys 2013: 193-206 - [c60]Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su:
Keyword programming for TouchDevelop. MobiSys 2013: 463-464 - [c59]You Li, Zhendong Su
, Linzhang Wang, Xuandong Li:
Steering symbolic execution to less traveled paths. OOPSLA 2013: 19-32 - [c58]Hao Zhong
, Zhendong Su
:
Detecting API documentation errors. OOPSLA 2013: 803-816 - [c57]Qirun Zhang
, Michael R. Lyu, Hao Yuan, Zhendong Su:
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. PLDI 2013: 435-446 - [c56]Earl T. Barr
, Thanh Vo, Vu Le, Zhendong Su
:
Automatic detection of floating-point exceptions. POPL 2013: 549-560 - [c55]Dong Qiu, Bixin Li, Zhendong Su
:
An empirical analysis of the co-evolution of schema and code in database applications. ESEC/SIGSOFT FSE 2013: 125-135 - [c54]Casper Svenning Jensen, Anders Møller
, Zhendong Su
:
Server interface descriptions for automated testing of JavaScript web applications. ESEC/SIGSOFT FSE 2013: 510-520 - 2012
- [c53]Taeho Kwon, Zhendong Su
:
Static Detection of Unsafe Component Loadings. CC 2012: 122-143 - [c52]Abram Hindle, Earl T. Barr
, Zhendong Su
, Mark Gabel, Premkumar T. Devanbu
:
On the naturalness of software. ICSE 2012: 837-847 - [c51]Mehrdad Afshari, Earl T. Barr
, Zhendong Su
:
Liberating the programmer with prorogued programming. Onward! 2012: 11-26 - [c50]Zhongxian Gu, Earl T. Barr
, Drew Schleck, Zhendong Su
:
Reusing debugging knowledge via trace-based bug search. OOPSLA 2012: 927-942 - [c49]Mark Gabel, Zhendong Su
:
Testing mined specifications. SIGSOFT FSE 2012: 4 - [c48]Taeho Kwon, Zhendong Su
:
Detecting and analyzing insecure component usage. SIGSOFT FSE 2012: 5 - 2011
- [c47]Taeho Kwon, Zhendong Su
:
Modeling High-Level Behavior Patterns for Precise Similarity Analysis of Software. ICDM 2011: 1134-1139 - [c46]Zhongxian Gu, Earl T. Barr
, Zhendong Su
:
BQL: capturing and reusing debugging knowledge. ICSE 2011: 1001-1003 - [c45]Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su
:
Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206 - [c44]Fangqi Sun, Liang Xu, Zhendong Su:
Static Detection of Access Control Vulnerabilities in Web Applications. USENIX Security Symposium 2011 - 2010
- [c43]Mark Gabel, Zhendong Su
:
Online inference and enforcement of temporal properties. ICSE (1) 2010: 15-24 - [c42]Zhongxian Gu, Earl T. Barr
, David J. Hamilton, Zhendong Su
:
Has the bug really been fixed? ICSE (1) 2010: 55-64 - [c41]Taeho Kwon, Zhendong Su
:
Automatic detection of unsafe component loadings. ISSTA 2010: 107-118 - [c40]Enyi Tang, Earl T. Barr
, Xuandong Li, Zhendong Su
:
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. ISSTA 2010: 131-142 - [c39]Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su
:
Scalable and systematic detection of buggy inconsistencies in source code. OOPSLA 2010: 175-190 - [c38]Mark Gabel, Zhendong Su
:
A study of the uniqueness of source code. SIGSOFT FSE 2010: 147-156 - 2009
- [c37]Fangqi Sun, Liang Xu, Zhendong Su
:
Client-Side Detection of XSS Worms by Monitoring Payload Propagation. ESORICS 2009: 539-554 - [c36]Lingxiao Jiang
, Zhendong Su
:
Automatic mining of functionally equivalent code fragments via random testing. ISSTA 2009: 81-92 - [c35]Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su
:
Detecting code clones in binary executables. ISSTA 2009: 117-128 - [c34]Andreas Saebjoernsen, Lingxiao Jiang
, Daniel J. Quinlan, Zhendong Su
:
Static Validation of C Preprocessor Macros. ASE 2009: 149-160 - [c33]Christian Bird, Earl T. Barr
, Andre Nash, Premkumar T. Devanbu, Vladimir Filkov, Zhendong Su:
Structure and Dynamics of Research Collaboration in Computer Science. SDM 2009: 826-837 - 2008
- [c32]Mark Gabel, Zhendong Su
:
Symbolic mining of temporal specifications. ICSE 2008: 51-60 - [c31]Gary Wassermann, Zhendong Su
:
Static detection of cross-site scripting vulnerabilities. ICSE 2008: 171-180 - [c30]Mark Gabel, Lingxiao Jiang
, Zhendong Su
:
Scalable detection of semantic clones. ICSE 2008: 321-330 - [c29]Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura
, Zhendong Su
:
Dynamic test input generation for web applications. ISSTA 2008: 249-260 - [c28]Daniela Alvim Seabra de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shaozhi Ye, Shyhtsun Felix Wu, Zhendong Su
, Frederic T. Chong
:
Bezoar: Automated virtual machine-based full-system recovery from control-flow hijacking attacks. NOMS 2008: 121-128 - [c27]Lingxiao Jiang
, Zhendong Su
:
Profile-guided program simplification for effective testing and analysis. SIGSOFT FSE 2008: 48-58 - [c26]Mark Gabel, Zhendong Su
:
Javert: fully automatic mining of general temporal properties from dynamic traces. SIGSOFT FSE 2008: 339-349 - 2007
- [c25]Matthew Van Gundy, Hao Chen
, Zhendong Su
, Giovanni Vigna:
Feature Omission Vulnerabilities: Thwarting Signature Generation for Polymorphic Worms. ACSAC 2007: 74-85 - [c24]Lingxiao Jiang
, Ghassan Misherghi, Zhendong Su
, Stéphane Glondu
:
DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones. ICSE 2007: 96-105 - [c23]Lingxiao Jiang
, Zhendong Su
:
Context-aware statistical debugging: from bug predictors to faulty control flow paths. ASE 2007: 184-193 - [c22]Gary Wassermann, Zhendong Su
:
Sound and precise analysis of web applications for injection vulnerabilities. PLDI 2007: 32-41 - [c21]Lingxiao Jiang
, Zhendong Su
, Edwin Chiu:
Context-based detection of clone-related bugs. ESEC/SIGSOFT FSE 2007: 55-64 - 2006
- [c20]Francis Hsu, Hao Chen
, Thomas Ristenpart, Jason Li, Zhendong Su
:
Back to the Future: A Framework for Automatic Malware Removal and System Repair. ACSAC 2006: 257-268 - [c19]Jedidiah R. Crandall, Gary Wassermann, Daniela Alvim Seabra de Oliveira, Zhendong Su
, Shyhtsun Felix Wu, Frederic T. Chong
:
Temporal search: detecting hidden malware timebombs with virtual machines. ASPLOS 2006: 25-36 - [c18]Daniela Alvim Seabra de Oliveira, Jedidiah R. Crandall, Gary Wassermann, Shyhtsun Felix Wu, Zhendong Su
, Frederic T. Chong
:
ExecRecorder: VM-based full-system replay for attack analysis and system recovery. ASID 2006: 66-71 - [c17]Gary Wassermann, Zhendong Su
:
Validity Checking for Finite Automata over Linear Arithmetic Constraints. FSTTCS 2006: 405-416 - [c16]Ghassan Misherghi, Zhendong Su:
HDD: hierarchical Delta Debugging. ICSE 2006: 142-151 - [c15]Lingxiao Jiang
, Zhendong Su:
Osprey: a practical type system for validating dimensional unit correctness of C programs. ICSE 2006: 262-271 - [c14]Zhendong Su
, Gary Wassermann:
The essence of command injection attacks in web applications. POPL 2006: 372-382 - [c13]Lihua Yuan, Jianning Mai, Zhendong Su
, Hao Chen
, Chen-Nee Chuah
, Prasant Mohapatra:
FIREMAN: A Toolkit for FIREwall Modeling and ANalysis. S&P 2006: 199-213 - 2005
- [c12]Jedidiah R. Crandall, Zhendong Su
, Shyhtsun Felix Wu, Frederic T. Chong
:
On deriving unknown vulnerabilities from zero-day polymorphic and metamorphic worm exploits. CCS 2005: 235-248 - [c11]Joachim Niehren, Tim Priesnitz, Zhendong Su
:
Complexity of Subtype Satisfiability over Posets. ESOP 2005: 357-373 - 2004
- [c10]Carl Gould, Zhendong Su, Premkumar T. Devanbu:
Static Checking of Dynamically Generated Queries in Database Applications. ICSE 2004: 645-654 - [c9]Carl Gould, Zhendong Su
, Premkumar T. Devanbu:
JDBC Checker: A Static Analysis Tool for SQL/JDBC Applications. ICSE 2004: 697-698 - [c8]Zhendong Su
, David A. Wagner:
A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. TACAS 2004: 280-295 - 2002
- [c7]Zhendong Su
, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen:
The first-order theory of subtyping constraints. POPL 2002: 203-216 - 2001
- [c6]Zhendong Su
, Alexander Aiken:
Entailment with Conditional Equality Constraints. ESOP 2001: 170-189 - 2000
- [c5]Zhendong Su, Manuel Fähndrich, Alexander Aiken:
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs. POPL 2000: 81-95 - 1998
- [c4]Anca Muscholl, Doron A. Peled, Zhendong Su
:
Deciding Properties for Message Sequence Charts. FoSSaCS 1998: 226-242 - [c3]Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
, Alexander Aiken:
Partial Online Cycle Elimination in Inclusion Constraint Graphs. PLDI 1998: 85-96 - [c2]Alexander Aiken, Manuel Fähndrich, Zhendong Su
:
Detecting Races in Relay Ladder Logic Programs. TACAS 1998: 184-200 - [c1]Alexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su
:
A Toolkit for Constructing Type- and Constraint-Based Program Analyses. Types in Compilation 1998: 78-96
Editorship
- 2016
- [e3]Thomas Zimmermann, Jane Cleland-Huang, Zhendong Su:
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016. ACM 2016, ISBN 978-1-4503-4218-6 [contents] - 2012
- [e2]Mats Per Erik Heimdahl, Zhendong Su:
International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. ACM 2012, ISBN 978-1-4503-1454-1 [contents] - 2009
- [e1]Jens Palsberg, Zhendong Su:
Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings. Lecture Notes in Computer Science 5673, Springer 2009, ISBN 978-3-642-03236-3 [contents]
Informal and Other Publications
- 2024
- [i32]Shaohua Li, Zhendong Su:
UBfuzz: Finding Bugs in Sanitizer Implementations. CoRR abs/2401.04538 (2024) - [i31]Ziqiao Kong, Shaohua Li, Heqing Huang, Zhendong Su:
SAND: Decoupling Sanitization from Fuzzing for Low Overhead. CoRR abs/2402.16497 (2024) - [i30]Vince Szabo, Dominik Winterer
, Zhendong Su:
Compilation Quotient (CQ): A Metric for the Compilation Hardness of Programming Languages. CoRR abs/2406.04778 (2024) - [i29]Shengcheng Yu, Chunrong Fang, Mingzhe Du, Zimin Ding, Zhenyu Chen, Zhendong Su:
Practical, Automated Scenario-based Mobile App Testing. CoRR abs/2406.08340 (2024) - [i28]Khashayar Etemadi, Bardia Mohammadi, Zhendong Su, Martin Monperrus:
Mokav: Execution-driven Differential Testing with LLMs. CoRR abs/2406.10375 (2024) - 2023
- [i27]Yuanyuan Yuan, Shuai Wang, Zhendong Su:
Precise and Generalized Robustness Certification for Neural Networks. CoRR abs/2306.06747 (2023) - [i26]Shengcheng Yu, Chunrong Fang, Ziyuan Tuo, Quanjun Zhang, Chunyang Chen, Zhenyu Chen, Zhendong Su:
Vision-Based Mobile App GUI Testing: A Survey. CoRR abs/2310.13518 (2023) - [i25]Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su:
Extended Paper: API-driven Program Synthesis for Testing Static Typing Implementations. CoRR abs/2311.04527 (2023) - [i24]Shengcheng Yu, Chunrong Fang, Mingzhe Du, Yuchen Ling, Zhenyu Chen, Zhendong Su:
Practical Non-Intrusive GUI Exploration Testing with Visual-based Robotic Arms. CoRR abs/2312.10655 (2023) - 2022
- [i23]Philippe Voinov, Manuel Rigger, Zhendong Su:
Forest: Structural Code Editing with Multiple Cursors. CoRR abs/2210.11124 (2022) - [i22]Manuel Rigger, Zhendong Su:
Intramorphic Testing: A New Approach to the Test Oracle Problem. CoRR abs/2210.11228 (2022) - 2020
- [i21]Manuel Rigger, Zhendong Su:
Testing Database Engines via Pivoted Query Synthesis. CoRR abs/2001.04174 (2020) - [i20]Dominik Winterer, Chengyu Zhang, Zhendong Su:
On the Unusual Effectiveness of Type-aware Mutations for Testing SMT Solvers. CoRR abs/2004.08799 (2020) - [i19]Pinjia He, Clara Meister, Zhendong Su:
Testing Machine Translation via Referential Transparency. CoRR abs/2004.10361 (2020) - [i18]Manuel Rigger, Zhendong Su:
Detecting Optimization Bugs in Database Engines via Non-Optimizing Reference Engine Construction. CoRR abs/2007.08292 (2020) - [i17]Ting Su, Yichen Yan, Jue Wang, Zhendong Su:
Automated Functional Fuzzing of Android Apps. CoRR abs/2008.03585 (2020) - [i16]Sahil Verma
, Zhendong Su:
ShapeFlow: Dynamic Shape Interpreter for TensorFlow. CoRR abs/2011.13452 (2020) - 2019
- [i15]Ke Wang, Zhendong Su:
Learning Blended, Precise Semantic Program Embeddings. CoRR abs/1907.02136 (2019) - [i14]Pinjia He, Clara Meister, Zhendong Su:
Structure-Invariant Testing for Machine Translation. CoRR abs/1907.08710 (2019) - [i13]Shuai Wang, Zhendong Su:
Metamorphic Testing for Object Detection Systems. CoRR abs/1912.12162 (2019) - 2018
- [i12]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 abs/1801.07009 (2018) - [i11]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 abs/1803.06300 (2018) - [i10]Ting Su, Chengyu Zhang, Yichen Yan, Lingling Fan, Geguang Pu, Yang Liu, Zhoulai Fu, Zhendong Su:
Towards Efficient Data-flow Test Data Generation. CoRR abs/1803.10431 (2018) - 2017
- [i9]Zhoulai Fu, Zhendong Su:
Achieving High Coverage for Floating-point Code via Unconstrained Programming (Extended Version). CoRR abs/1704.03394 (2017) - [i8]Ke Wang, Rishabh Singh, Zhendong Su:
Data-Driven Feedback Generation for Introductory Programming Exercises. CoRR abs/1711.07148 (2017) - [i7]Ke Wang, Zhendong Su:
Interactive, Intelligent Tutoring for Auxiliary Constructions in Geometry Proofs. CoRR abs/1711.07154 (2017) - [i6]Ke Wang, Rishabh Singh, Zhendong Su:
Dynamic Neural Program Embedding for Program Repair. CoRR abs/1711.07163 (2017) - 2016
- [i5]Mehrdad Afshari, Zhendong Su:
Toward Rapid Transformation of Ideas into Software. CoRR abs/1602.01075 (2016) - [i4]Zhoulai Fu, Zhendong Su:
Mathematical Execution: A Unified Approach for Testing Numerical Code. CoRR abs/1610.01133 (2016) - [i3]Qirun Zhang, Chengnian Sun, Zhendong Su:
Skeletal Program Enumeration for Rigorous Compiler Testing. CoRR abs/1610.03148 (2016) - 2015
- [i2]Martin Velez, Dong Qiu, You Zhou, Earl T. Barr, Zhendong Su:
A Study of "Wheat" and "Chaff" in Source Code. CoRR abs/1502.01410 (2015) - 2012
- [i1]Mark Marron, César Sánchez, Zhendong Su, Manuel Fähndrich:
Abstracting Runtime Heaps for Program Understanding. CoRR abs/1201.1327 (2012)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-11 01:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint