2 citations · 3 across the 3 of their papers we have counts for
5 papers
SemaDiff: Identifying Semantic-Changing Commits with Generated Code and Tests
Maha Ayub, Michael Konstantinou, Ahmed Khanfir +2
Distinguishing semantic-preserving commits from changing ones remains an open challenge in software repository mining. While existing approaches detect refactoring commits accurate…
On the risk of coding before testing: An empirical study on LLM-based test generation workflow
Michael Konstantinou, Florian Tambon, Mike Papadakis
Large Language Models (LLMs) are increasingly used in software engineering workflows to generate both source code and test suites. This dual capability has enabled emerging develop…
Prompt Coverage Adequacy
Florian Tambon, Michael Konstantinou, Cedric Richter +3
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 f…
YATE: The Role of Test Repair in LLM-Based Unit Test Generation
Michael Konstantinou, Renzo Degiovanni, Jie M. Zhang +2
Recent advances in automated test generation utilises language models to produce unit tests. While effective, language models tend to generate many incorrect tests with respect to…
Do LLMs generate test oracles that capture the actual or the expected program behaviour?
Michael Konstantinou, Renzo Degiovanni, Mike Papadakis
Software testing is an essential part of the software development cycle to improve the code quality. Typically, a unit test consists of a test prefix and a test oracle which captur…