3 papers
cs.SE2025
On Interaction Effects in Greybox Fuzzing
Konstantinos Kitsios, Marcel Böhme, Alberto Bacchelli
A greybox fuzzer is an automated software testing tool that generates new test inputs by applying randomly chosen mutators (e.g., flipping a bit or deleting a block of bytes) to a…
cs.SE2025
Detecting Semantic Clones of Unseen Functionality
Konstantinos Kitsios, Francesco Sovrano, Earl T. Barr +1
Semantic code clone detection is the task of detecting whether two snippets of code implement the same functionality (e.g., Sort Array). Recently, many neural models achieved near-…
cs.SE2025
Automated Generation of Issue-Reproducing Tests by Combining LLMs and Search-Based Testing
Konstantinos Kitsios, Marco Castelluccio, Alberto Bacchelli
Issue-reproducing tests fail on buggy code and pass once a patch is applied, thus increasing developers' confidence that the issue has been resolved and will not be re-introduced.…