10 papers
COMMITGUARD: Differential Slice Fuzzing for Commit-Induced Bug Detection
Aniruddhan Murali, Noble Saji Mathews, Mahmoud Alfadel +1
Modern software systems evolve through frequent commits that implement bug fixes, features, and security patches. Although code review and testing are widely used to check these ch…
SNIPTEST: Fuzzing Multi-Level Code Slices for Validating Vulnerabilities
Aniruddhan Murali, Nobble Saji Mathews, Mahmoud Alfadel +2
Modern software systems are increasingly complex, and static analysis tools are commonly used to identify potentially vulnerable code by issuing warnings. However, these warnings o…
Functional and Secure Code Generation with Task Vectors
Felix Wang, Anudeep Das, Mei Nagappan +1
Large language models (LLMs) are increasingly used for code generation, but they struggle to generate functional code free of security vulnerabilities. Prior work to improve the se…
What Makes a Good Bug Report for an AI Agent?
Lara Khatib, Noble Saji Mathews, Meiyappan Nagappan +2
Automated program repair (APR) agents are transitioning from research benchmarks to developer workflows, yet they still begin with bug reports written for human developers. While d…
Using Mutation-Analysis to Examine an LLM's Ability to Summarize Code
Lara Khatib, Michael Pu, Bogdan Vasilescu +1
As developers increasingly rely on LLM-generated code summaries for documentation, testing, and review, it is important to study whether these summaries accurately reflect what the…
AssertFlip: Reproducing Bugs via Inversion of LLM-Generated Passing Tests
Lara Khatib, Noble Saji Mathews, Meiyappan Nagappan
Bug reproduction is critical in the software debugging and repair process, yet the majority of bugs in open-source and industrial settings lack executable tests to reproduce them a…