2 papers
cs.SE2026
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…
cs.SE2026
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…