AI Navigate

Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications

arXiv cs.AI / 3/11/2026

Ideas & Deep AnalysisTools & Practical UsageModels & Research

Key Points

  • Test-Driven AI Agent Definition (TDAD) is a methodology that compiles behavioral specifications into executable tests to iteratively refine AI agent prompts for reliable tool usage.
  • TDAD addresses common deployment issues such as silent regressions, tool misuse, and policy violations by enforcing measurable behavioral compliance through testing.
  • The methodology introduces three key mechanisms: visible/hidden test splits, semantic mutation testing, and spec evolution scenarios to ensure prompt robustness and regression safety.
  • TDAD was evaluated on the SpecSuite-Core benchmark, achieving high success rates in prompt compilation, mutation detection, and regression safety across multiple trials and specification evolutions.
  • The implementation is publicly available, encouraging reproducibility and further research in reliable AI agent development using test-driven practices.

Computer Science > Software Engineering

arXiv:2603.08806 (cs)
[Submitted on 9 Mar 2026]

Title:Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications

View a PDF of the paper titled Test-Driven AI Agent Definition (TDAD): Compiling Tool-Using Agents from Behavioral Specifications, by Tzafrir Rehan
View PDF HTML (experimental)
Abstract:We present Test-Driven AI Agent Definition (TDAD), a methodology that treats agent prompts as compiled artifacts: engineers provide behavioral specifications, a coding agent converts them into executable tests, and a second coding agent iteratively refines the prompt until tests pass. Deploying tool-using LLM agents in production requires measurable behavioral compliance that current development practices cannot provide. Small prompt changes cause silent regressions, tool misuse goes undetected, and policy violations emerge only after deployment. To mitigate specification gaming, TDAD introduces three mechanisms: (1) visible/hidden test splits that withhold evaluation tests during compilation, (2) semantic mutation testing via a post-compilation agent that generates plausible faulty prompt variants, with the harness measuring whether the test suite detects them, and (3) spec evolution scenarios that quantify regression safety when requirements change. We evaluate TDAD on SpecSuite-Core, a benchmark of four deeply-specified agents spanning policy compliance, grounded analytics, runbook adherence, and deterministic enforcement. Across 24 independent trials, TDAD achieves 92% v1 compilation success with 97% mean hidden pass rate; evolved specifications compile at 58%, with most failed runs passing all visible tests except 1-2, and show 86-100% mutation scores, 78% v2 hidden pass rate, and 97% regression safety scores. The implementation is available as an open benchmark at this https URL.
Comments:
Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI)
ACM classes: I.2.2; I.2.11; D.2.1; D.2.5
Cite as: arXiv:2603.08806 [cs.SE]
  (or arXiv:2603.08806v1 [cs.SE] for this version)
  https://doi.org/10.48550/arXiv.2603.08806
Focus to learn more
arXiv-issued DOI via DataCite

Submission history

From: Tzafrir Rehan [view email]
[v1] Mon, 9 Mar 2026 18:04:54 UTC (242 KB)
Full-text links:

Access Paper:

Current browse context:
cs.SE
< prev   |   next >
Change to browse by:

References & Citations

export BibTeX citation Loading...

BibTeX formatted citation

×
Data provided by:

Bookmark

BibSonomy logo Reddit logo
Bibliographic Tools

Bibliographic and Citation Tools

Bibliographic Explorer Toggle
Bibliographic Explorer (What is the Explorer?)
Connected Papers Toggle
Connected Papers (What is Connected Papers?)
Litmaps Toggle
Litmaps (What is Litmaps?)
scite.ai Toggle
scite Smart Citations (What are Smart Citations?)
Code, Data, Media

Code, Data and Media Associated with this Article

alphaXiv Toggle
alphaXiv (What is alphaXiv?)
Links to Code Toggle
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub Toggle
DagsHub (What is DagsHub?)
GotitPub Toggle
Gotit.pub (What is GotitPub?)
Huggingface Toggle
Hugging Face (What is Huggingface?)
Links to Code Toggle
Papers with Code (What is Papers with Code?)
ScienceCast Toggle
ScienceCast (What is ScienceCast?)
Demos

Demos

Replicate Toggle
Replicate (What is Replicate?)
Spaces Toggle
Hugging Face Spaces (What is Spaces?)
Spaces Toggle
TXYZ.AI (What is TXYZ.AI?)
Related Papers

Recommenders and Search Tools

Link to Influence Flower
Influence Flower (What are Influence Flowers?)
Core recommender toggle
CORE Recommender (What is CORE?)
About arXivLabs

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.