133 citations · 365 across the 73 of their papers we have counts for
56 papers · 1 filter
Detecting HTTP Status Code Misuses in REST APIs via Static and Dynamic Analysis
Alix Decrop, Andrea Arcuri, Mike Papadakis +2
REST APIs are widely used on the web for client-server communications. As REST is based on HTTP, server responses contain status codes to indicate the outcome of requests (e.g., 20…
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,…
Assessing Behavioral Validation in UI Component Test Suites Using Inferred Metamorphic Relations
Yu Pei, Cunming Zhang, Jeongju Sohn +1
UI component libraries are commonly assessed using execution-based metrics such as statement and branch coverage, yet these metrics provide limited insight into whether tests verif…
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…
Intent-Based Mutation Testing: From Naturally Written Programming Intents to Mutants
Asma Hamidi, Ahmed Khanfir, Mike Papadakis
This paper presents intent-based mutation testing, a testing approach that generates mutations by changing the programming intents that are implemented in the programs under test.…
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…