2 citations · 5 across the 11 of their papers we have counts for
6 papers · 1 filter
ORCA: Observability-Grounded Program Repair for Microservice Incidents
Yuanchen Gao, Yifang Tian, Yiran Li +2
Microservice failures are often diagnosed from operational telemetry. However, automated program repair systems usually start from issue reports, localized code context, or failing…
ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
Yuandao Cai, Shuhao Fu, Wensheng Tang +3
Concurrency testing is essential to improve the reliability and security of multi-threaded programs. Dynamic analysis tools, such as TSan, depend on high-quality test drivers that…
DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models
Maryam Masoudian, Anshunkang Zhou, Chengpeng Wang +1
Modern software systems heavily rely on various libraries, which require understanding the API semantics in static analysis. However, summarizing API semantics remains challenging…
Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
Yongchao Wang, Yuandao Cai, Charles Zhang
Value flow analysis that tracks the flow of values via data dependence is a widely used technique for detecting a broad spectrum of software bugs. However, the scalability issue of…
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.…
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…