Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Impossible to hide secret ...: Uncovering Security and Privacy Issues in LLM-native IDEs
Mostafijur Rahman Akhond, Md Afif Al Mamun, Gias Uddin +1
LLM-native IDEs (Integrated Development Environments), aka LIDEs, are designed from the ground up to work with Large Language Models (LLMs). LIDEs have found remarkable success in…
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…