CORTEXA
← Browse

Michael Konstantinou

2 papers indexed

arxivcs.SEcs.AI2026-07-14

SemaDiff: Identifying Semantic-Changing Commits with Generated Code and Tests

Maha Ayub, Michael Konstantinou, Ahmed Khanfir, Nikolaos Tsantalis, Mike Papadakis

Distinguishing semantic-preserving commits from changing ones remains an open challenge in software repository mining. While existing approaches detect refactoring commits accurately, they cannot ensure that a commit is purely semantic-preserving, without any interleaving behavio…

View free PDFSource page
arxivcs.SEcs.AI2026-07-02

Prompt Coverage Adequacy

Florian Tambon, Michael Konstantinou, Cedric Richter, Charles Chenouard, Mark Harman, Mike Papadakis

In recent years, it has become increasingly evident that large language models (LLMs) and autonomous agents raise the level of abstraction in software development by shifting the focus from writing precise procedures to expressing intents and goals. This paradigm shift introduces…

View free PDFSource page