activity
20232026
most citedAutomating the Correctness Assessment of AI-generated Code for Security Contexts

33 citations · 58 across the 15 of their papers we have counts for

collaborators
Showing 2026Show all

5 papers · 1 filter

cs.SE2026

What is the Difference Between Me and You? Benchmarking the Quality Gap Between Human-Written and AI-Generated Code

Cristina Improta, Pietro Liguori, Domenico Cotroneo

AI coding assistants are becoming co-authors of production software, yet their evaluation centers on functional correctness, leaving open whether their code differs from human code…

cs.SE2026

Beyond Fixed Fault Models: Comparing LLM-Based and Rule-Based Fault Injection in OpenStack

Giuseppe De Rosa, Pietro Liguori, Domenico Cotroneo

Software Fault Injection (SFI) supports testing of cloud systems by introducing software defects and observing their manifestation. Rule-based injectors such as ProFIPy provide con…

cs.SE2026

Characterizing Software Aging in GPU-Based LLM Serving Systems

Domenico Cotroneo, Bojan Cukic

This paper proposes an empirical methodology to study software aging in GPU-based LLM serving systems. Traditional aging studies focus on CPU-centric software with relatively regul…

cs.CR2026

Willing but Unable: Separating Refusal from Capability in Code LLMs via Abliteration

Cristina Carleo, Pietro Liguori, Naghmeh Ivaki +1

Producing a labeled vulnerable code at scale is a recurring obstacle for learning-based vulnerability detection: mined corpora carry substantial label noise, and existing LLM-based…

cs.SE2026

What Makes Software Bugs Escape Testing? Evidence from a Large-Scale Empirical Study

Domenico Cotroneo, Giuseppe De Rosa, Cristina Improta +1

Understanding how software defects manifest and evolve in production environments is critical for improving reliability. While previous research has largely focused on pre-release…