List of works - Zhendong Su

API-Driven Program Synthesis for Testing Static Typing Implementations

scientific article published on 05 January 2024

Accelerating Fuzzing through Prefix-Guided Execution

scientific article published on 06 April 2023

Assessing Live Programming for Program Comprehension

scientific article published on 03 July 2024

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

scientific article published on 30 November 2023

Boosting Compiler Testing by Injecting Real-World Code

scientific article published on 20 June 2024

Effective, Platform-Independent GUI Testing via Image Embedding and Reinforcement Learning

scientific article published on 22 June 2024

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

scientific article published on 12 April 2024

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

scientific article published on 30 November 2023

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

scientific article published on 20 June 2024

SMT2Test: From SMT Formulas to Effective Test Cases

scientific article published on 08 October 2024

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

scientific article published on 11 September 2024

The Hidden Program State Hurts Everyone

scientific article published on 17 October 2024

UBFuzz: Finding Bugs in Sanitizer Implementations

scientific article published on 17 April 2024

Understanding and Finding Java Decompiler Bugs

scientific article published on 29 April 2024

Validating JIT Compilers via Compilation Space Exploration

scientific article published on 03 October 2023

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