2 citations · 3 across the 7 of their papers we have counts for
7 papers
How effective are traditional test criteria at detecting bugs in large language models generated code?
Asma Hamidi, Michael Konstantinou, Renzo Degiovanni +1
Test adequacy criteria are widely used to evaluate and guide software testing. Although prior research has extensively examined these criteria using human-written programs, faults,…
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…
How well LLM-based test generation techniques perform with newer LLM versions?
Michael Konstantinou, Renzo Degiovanni, Mike Papadakis
The rapid evolution of Large Language Models (LLMs) has strongly impacted software engineering, leading to a growing number of studies on automated unit test generation. However, t…
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…
Can we find bugs using LLM-generated oracles?
Michael Konstantinou, Renzo Degiovanni, Mike Papadakis
Unit testing is vital in software development. Typically, a unit test consists of a test prefix and a test oracle which captures the developer's intended behaviour. Traditional tes…