2 citations · 2 across the 3 of their papers we have counts for
3 papers · 1 filter
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,…
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.…
Round-Trip Mutation Testing: Translating Code to Natural Language Intent and back
Asma Hamidi, Cedric Richter, Ahmed Khanfir +1
This paper presents Round-Trip Mutation Testing (RTM), a novel approach that generates mutants from LLM mistranslations between a program code and its intent. Leveraging the genera…