SWE-Bench+: Enhanced Coding Benchmark for LLMs. - Reem Aleithan; Haoran Xue; Mohammad Mahdi Mohajer; Elijah Nnorom; Gias Uddin 001; Song Wang 009 (CoRR, 2024)

StaAgent: An Agentic Framework for Testing Static Analyzers. - Elijah Nnorom; Md Basim Uddin Ahmed; Jiho Shin; Hung Viet Pham; Song Wang 009 (CoRR, 2025)