3 citations · 3 across the 8 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Willful Disobedience: Automatically Detecting Failures in Agentic Traces
Reshabh K Sharma, Shraddha Barke, Benjamin Zorn
AI agents are increasingly embedded in real software systems, where they execute multi-step workflows through multi-turn dialogue, tool invocations, and intermediate decisions. The…
cs.SE2026
ContextCov: Deriving and Enforcing Executable Constraints from Agent Instruction Files
Reshabh K Sharma
As Large Language Model (LLM) agents increasingly execute complex, autonomous software engineering tasks, developers rely on natural language instruction files such as AGENTS.md to…
cs.SE2025
PromptPex: Automatic Test Generation for Language Model Prompts
Reshabh K Sharma, Jonathan De Halleux, Shraddha Barke +2
Large language models (LLMs) are being used in many applications and prompts for these models are integrated into software applications as code-like artifacts. These prompts behave…