Zhendong Su 0001 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2024

2023

Towards Efficient Data-Flow Test Data GenerationTing Su 0001, Chengyu Zhang 0001, Yichen Yan, Lingling Fan 0003, Yang Liu 0003, Zhoulai Fu, Zhendong Su 0001. BIRTHDAY 2023: 257-293 [doi]

DynSQL: Stateful Fuzzing for Database Management Systems with Complex and Valid SQL Query GenerationZu-Ming Jiang, Jia-Ju Bai, Zhendong Su 0001. uss 2023: 4949-4965 [doi]

Detecting Transactional Bugs in Database Engines via Graph-Based Oracle ConstructionZu-Ming Jiang, Si Liu, Manuel Rigger, Zhendong Su 0001. osdi 2023: 397-417 [doi]

Testing Graph Database Engines via Query PartitioningMatteo Kamm, Manuel Rigger, Chengyu Zhang, Zhendong Su 0001. ISSTA 2023: 140-149 [doi]

Finding Unstable Code via Compiler-Driven Differential TestingShaohua Li, Zhendong Su 0001. asplos 2023: 238-251 [doi]

Accelerating Fuzzing through Prefix-Guided ExecutionShaohua Li, Zhendong Su 0001. PACMPL, 7(PLDI):1-27, 2023. [doi]

Accelerating Fuzzing through Prefix-Guided ExecutionShaohua Li, Zhendong Su 0001. PACMPL, 7(OOPSLA1):1-27, April 2023. [doi]

Accelerating Fuzzing through Prefix-Guided ExecutionShaohua Li, Zhendong Su 0001. PACMPL, 7(PLDI):1-27, 2023. [doi]

Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for AndroidEnze Ma, Shan Huang, Weigang He, Ting Su 0001, Jue Wang, Huiyu Liu, Geguang Pu, Zhendong Su 0001. FSE 2023: 592-604 [doi]

Coverage-directed Differential Testing of X.509 Certificate Validation in SSL/TLS ImplementationsPengbo Nie, Chengcheng Wan, Jiayu Zhu, Ziyi Lin, Yuting Chen, Zhendong Su 0001. TOSEM, 32(1), January 2023. [doi]

Characterizing and Finding System Setting-Related Defects in Android AppsJingling Sun, Ting Su 0001, Kai Liu, Chao Peng, Zhao Zhang, Geguang Pu, Tao Xie 0001, Zhendong Su 0001. TSE, 49(4):2941-2963, April 2023. [doi]

Property-Based Fuzzing for Finding Data Manipulation Errors in Android AppsJingling Sun, Ting Su 0001, Jiayi Jiang, Jue Wang, Geguang Pu, Zhendong Su 0001. FSE 2023: 1088-1100 [doi]

An Empirical Study of Functional Bugs in Android AppsYiheng Xiong, Mengqian Xu, Ting Su 0001, Jingling Sun, Jue Wang, He Wen, Geguang Pu, Jifeng He 0001, Zhendong Su 0001. ISSTA 2023: 1319-1331 [doi]

Precise and Generalized Robustness Certification for Neural NetworksYuanyuan Yuan, Shuai Wang 0011, Zhendong Su 0001. uss 2023: 4769-4786 [doi]

2022

Why My App Crashes? Understanding and Benchmarking Framework-Specific Exceptions of Android AppsTing Su 0001, Lingling Fan 0003, Sen Chen, Yang Liu 0003, Lihua Xu, Geguang Pu, Zhendong Su 0001. TSE, 48(4):1115-1137, 2022. [doi]

Finding and Understanding Incompleteness Bugs in SMT SolversMauro Bringolf, Dominik Winterer, Zhendong Su 0001. ASE 2022: [doi]

IRDL: an IR definition language for SSA compilersMathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su 0001, Tobias Grosser. PLDI 2022: 199-212 [doi]

Intramorphic Testing: A New Approach to the Test Oracle ProblemManuel Rigger, Zhendong Su 0001. Onward! 2022: 128-136 [doi]

Finding missed optimizations through the lens of dead code eliminationTheodoros Theodoridis, Manuel Rigger, Zhendong Su 0001. asplos 2022: 697-709 [doi]

Does Deliberately Failing Improve Learning in Introductory Computer Science?Sverrir Thorgeirsson, Tanmay Sinha, Felix Friedrich, Zhendong Su 0001. ectel 2022: 608-614 [doi]

Forest: Structural Code Editing with Multiple CursorsPhilippe Voinov, Manuel Rigger, Zhendong Su 0001. Onward! 2022: 137-152 [doi]

Detecting non-crashing functional bugs in Android apps via deep-state differential analysisJue Wang, Yanyan Jiang 0001, Ting Su 0001, Shaohua Li, Chang Xu, Jian Lu 0001, Zhendong Su 0001. FSE 2022: 434-446 [doi]

Bridging the Syntax-Semantics Gap of ProgrammingTheo B. Weidmann, Sverrir Thorgeirsson, Zhendong Su 0001. Onward! 2022: 80-94 [doi]

Oracle-free repair synthesis for floating-point programsDaming Zou, Yuchen Gu, Yuanfeng Shi, Mingzhe Wang, Yingfei Xiong 0001, Zhendong Su 0001. PACMPL, 6(OOPSLA2):957-985, 2022. [doi]

See Also

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Zhendong Su 0001'

Viewing Publication 1 - 27 from 27

2024

2023

2022

See Also

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag

Filter by VenueOR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Zhendong Su 0001'

Viewing Publication 1 - 27 from 27

2024

2023

2022

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Venue
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1