Skip to content

Author

Taichuan Li

We have 1 of 8 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Jul 2026

CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development

This work proposes CodeSpec, a dual executable specification method for repository-level feature development that builds reliable functional chains from evidence pairing sub-requirement semantics with repository architectures, then compiles them into complementary architecture and behavior specifications that check chain completeness and correctness while preserving design-implementation consistency over long interactions.

Peiding Wang, Li Zhang, Fang Liu et al. · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.