Showing 2025Show all
3 papers · 1 filter
cs.SE2025
LLM Assisted Coding with Metamorphic Specification Mutation Agent
Mostafijur Rahman Akhond, Gias Uddin
Metamorphic Relations (MRs) serve as a foundational mechanism for generating semantically equivalent mutations. Software engineering has advanced significantly in recent years with…
cs.SE2025
LLM For Loop Invariant Generation and Fixing: How Far Are We?
Mostafijur Rahman Akhond, Saikat Chakraborty, Gias Uddin
A loop invariant is a property of a loop that remains true before and after each execution of the loop. The identification of loop invariants is a critical step to support automate…
cs.LG2025
Applications and Challenges of Fairness APIs in Machine Learning Software
Ajoy Das, Gias Uddin, Shaiful Chowdhury +2
Machine Learning software systems are frequently used in our day-to-day lives. Some of these systems are used in various sensitive environments to make life-changing decisions. The…