110 citations · 148 across the 11 of their papers we have counts for
11 papers
Spotting Setting-Related UI Display Bugs in Android Apps
Huaxun Huang, Wu Liu, Jiahao Gu +1
Android provides a wide range of system settings that allow users to control the runtime behaviors of apps, such as screen rotation and UI display. However, setting-related bugs oc…
LDMDroid: Leveraging LLMs for Detecting Data Manipulation Errors in Android Apps
Xiangyang Xiao, Huaxun Huang, Rongxin Wu
Android apps rely heavily on Data Manipulation Functionalities (DMFs) for handling app-specific data through CRUDS operations, making their correctness vital for reliability. Howev…
Enhancing LLM-Based Bug Reproduction for Android Apps via Pre-Assessment of Visual Effects
Xiangyang Xiao, Huaxun Huang, Rongxin Wu
In the development and maintenance of Android apps, the quick and accurate reproduction of user-reported bugs is crucial to ensure application quality and improve user satisfaction…
Improving Java Deserialization Gadget Chain Mining via Overriding-Guided Object Generation
Sicong Cao, Xiaobing Sun, Xiaoxue Wu +7
Java (de)serialization is prone to causing security-critical vulnerabilities that attackers can invoke existing methods (gadgets) on the application's classpath to construct a gadg…
MVD: Memory-Related Vulnerability Detection Based on Flow-Sensitive Graph Neural Networks
Sicong Cao, Xiaobing Sun, Lili Bo +3
Memory-related vulnerabilities constitute severe threats to the security of modern software. Despite the success of deep learning-based approaches to generic vulnerability detectio…
Efficient Path-Sensitive Data-Dependence Analysis
Peisen Yao, Jinguo Zhou, Xiao Xiao +3
This paper presents a scalable path- and context-sensitive data-dependence analysis. The key is to address the aliasing-path-explosion problem via a sparse, demand-driven, and fuse…
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection
Yushan Zhang, Peisen Yao, Rongxin Wu +1
Database Management System (DBMS) plays a core role in modern software from mobile apps to online banking. It is critical that DBMS should provide correct data to all applications.…
Improving Code Summarization with Block-wise Abstract Syntax Tree Splitting
Chen Lin, Zhichao Ouyang, Junqing Zhuang +3
Automatic code summarization frees software developers from the heavy burden of manual commenting and benefits software development and maintenance. Abstract Syntax Tree (AST), whi…
Will Dependency Conflicts Affect My Program's Semantics?
Ying Wang, Rongxin Wu, Chao Wang +6
Java projects are often built on top of various third-party libraries. If multiple versions of a library exist on the classpath, JVM will only load one version and shadow the other…
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Qingkai Shi, Rongxin Wu, Gang Fan +1
With an increasing number of value-flow properties to check, existing static program analysis still tends to have scalability issues when high precision is required. We observe tha…
An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair
Ming Wen, Junjie Chen, Rongxin Wu +2
Automated program repair (APR) has attracted great research attention, and various techniques have been proposed. Search-based APR is one of the most important categories among the…