activity
20202026
most citedRegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces

1 citations · 1 across the 4 of their papers we have counts for

collaborators

5 papers

cs.SE2026

NFR-to-Code Traceability in a Blockchain-IoT System: An Empirical Study

Yifei Wang, Jacky Keung, Xiaoxue Ma +2

Requirement-to-Code traceability has been widely studied, yet existing research and public benchmarks remain largely centered on functional requirements (FRs). In contrast, traceab…

cs.SE2026

R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability

Yifei Wang, Jacky Keung, Xiaoxue Ma +3

Accurate requirement-to-code traceability is crucial for software maintenance. However, existing IR- and embedding-based methods are heavily dependent on lexical similarity, often…

cs.SE2024

On the Influence of Data Resampling for Deep Learning-Based Log Anomaly Detection: Insights and Recommendations

Xiaoxue Ma, Huiqi Zou, Pinjia He +4

Numerous Deep Learning (DL)-based approaches have gained attention in software Log Anomaly Detection (LAD), yet class imbalance in training data remains a challenge, with anomalies…

cs.SE2021

A Multi-Modal Transformer-based Code Summarization Approach for Smart Contracts

Zhen Yang, Jacky Keung, Xiao Yu +4

Code comment has been an important part of computer programs, greatly facilitating the understanding and maintenance of source code. However, high-quality code comments are often u…

cs.SE2020★ 1 cited

RegionTrack: A Trace-based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces

Xiaoxue Ma, Shangru Wu, Ernest Pobee +4

Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code…