5 papers
ConFL: Explainable Concurrent Fault Localization via Hierarchy-Guided LLM Reasoning
Shuai Shao, Dingbang Wang, Yiming Zeng +1
Localizing concurrent bugs from bug reports alone is challenging due to incomplete information, misleading program-entity mentions, and complex cross-thread interactions, causing e…
HyperFL: Query-Adaptive Representation Learning for Software Fault Localization
Shuai Shao, Yiming Zeng, Yu Zhao +1
Software fault localization identifies the code locations responsible for reported issues and is a fundamental step toward automated debugging and program repair. Recent retrieval-…
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Shihao Xia, Mengting He, Shuai Shao +4
To govern smart contracts running on Ethereum, multiple Ethereum Request for Comment (ERC) standards have been developed, each defining a set of rules governing contract behavior.…
Identifying Concurrency Bug Reports via Linguistic Patterns
Shuai Shao, Lu Xiao, Tingting Yu
With the growing ubiquity of multi-core architectures, concurrent systems have become essential but increasingly prone to complex issues such as data races and deadlocks. While mod…
Enhancing IR-based Fault Localization using Large Language Models
Shuai Shao, Tingting Yu
Information Retrieval-based Fault Localization (IRFL) techniques aim to identify source files containing the root causes of reported failures. While existing techniques excel in ra…