9 papers
Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
Pengfei He, Shaowei Wang, Tse-Hsun Chen +1
Static program slicing is a fundamental software engineering technique for isolating code relevant to specific variables. While recent learning-based approaches using language mode…
CI-Repair-Bench: A Repository-Aware Benchmark for Automated Patch Validation via CI Workflows
Rabeya Khatun Muna, Md Nakhla Rafi, Tse-Hsun +1
Continuous Integration (CI) enforces repository-level correctness through multi-stage workflows and is central to modern software development, yet diagnosing and repairing CI failu…
When LLMs Lag Behind: Knowledge Conflicts from Evolving APIs in Code Generation
Ahmed Nusayer Ashik, Shaowei Wang, Tse-Hsun Chen +2
The rapid evolution of software libraries creates a significant challenge for Large Language Models (LLMs), whose static parametric knowledge often becomes stale post-training. Whi…
CODEPROMPTZIP: Code-specific Prompt Compression for Retrieval-Augmented Generation in Coding Tasks with LMs
Pengfei He, Shaowei Wang, Tse-Hsun Chen
Retrieval-Augmented Generation (RAG) enhances coding tasks by incorporating retrieved code examples into prompts. However, lengthy prompts, often exceeding tens of thousands of tok…
A Survey of Code Review Benchmarks and Evaluation Practices in Pre-LLM and LLM Era
Taufiqul Islam Khan, Shaowei Wang, Haoxiang Zhang +1
Code review is a critical practice in modern software engineering, helping developers detect defects early, improve code quality, and facilitate knowledge sharing. With the rapid a…
Studying the Impact of Early Test Termination Due to Assertion Failure on Code Coverage and Spectrum-based Fault Localization
Md. Ashraf Uddin, Shaowei Wang, An Ran Chen +3
An assertion is commonly used to validate the expected programs behavior (e.g., if the returned value of a method equals an expected value) in software testing. Although it is a re…