activity
20242026
collaborators

7 papers

cs.SE2026

Prefactory: Automated Discovery and Application of Library-Adoption Refactorings

Islem Bouzenia, Michael Pradel

Replacing hand-written code with library API calls is a common refactoring that can reduce code size, make code more idiomatic, and reuse well-tested implementations. Yet many libr…

cs.SE2026

Evaluating LLM Agents on Automated Software Analysis Tasks

Islem Bouzenia, Cristian Cadar, Michael Pradel

Numerous software analysis tools exist today, yet applying them to diverse open-source projects remains challenging due to environment setup, dependency resolution, and analysis to…

cs.SE2026

CodeCureAgent: Automatic Classification and Repair of Static Analysis Warnings

Pascal Joos, Islem Bouzenia, Michael Pradel

Static analysis tools are widely used to detect bugs, vulnerabilities, and code smells. Traditionally, developers must resolve these warnings manually. Because this process is tedi…

cs.SE2026

Issue2Test: Generating Reproducing Test Cases from Issue Reports

Noor Nashid, Islem Bouzenia, Michael Pradel +1

Automated tools for solving GitHub issues are receiving significant attention by both researchers and practitioners, e.g., in the form of foundation models and LLM-based agents pro…

cs.SE2025

Understanding Software Engineering Agents: A Study of Thought-Action-Result Trajectories

Islem Bouzenia, Michael Pradel

Large Language Model (LLM)-based agents are increasingly employed to automate complex software engineering tasks, such as program repair and issue resolution. These agents operate…

cs.SE2025

You Name It, I Run It: An LLM Agent to Execute Tests of Arbitrary Projects

Islem Bouzenia, Michael Pradel

The ability to execute the test suite of a project is essential in many scenarios, e.g., to assess code quality and code coverage, to validate code changes made by developers or au…