1 citations
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Provably Lossless Acceleration of DNN Mutation Testing via Memoization
Ali Ghanbari, Ben Greenman, Sasan Tavakkol +1
Mutation analysis has recently reemerged in the context of deep neural networks (DNNs) as a promising, but notoriously costly, approach for assessing test dataset adequacy. Existin…
cs.SE2026
SpecPylot: Python Specification Generation using Large Language Models
Ragib Shahariar Ayon, Shibbir Ahmed
Automatically generating formal specifications could reduce the effort needed to improve program correctness, but in practice, this is still challenging. Many developers avoid writ…
cs.SE2026
From Helpful to Trustworthy: LLM Agents for Pair Programming
Ragib Shahariar Ayon
LLM-based coding agents are increasingly used to generate code, tests, and documentation. Still, their outputs can be plausible yet misaligned with developer intent and provide lim…