{"id":"https://openalex.org/W7171876098","doi":"https://doi.org/10.48550/arxiv.2607.26777","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","display_name":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","publication_year":2026,"publication_date":"2026-07-29","ids":{"openalex":"https://openalex.org/W7171876098","doi":"https://doi.org/10.48550/arxiv.2607.26777"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.26777","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.26777","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.26777","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103223632","display_name":"Peiding Wang","orcid":"https://orcid.org/0009-0005-5686-0995"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Peiding","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5144004891","display_name":"Li Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Li","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5144087337","display_name":"Fang Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Fang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5144020123","display_name":"Taichuan Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Taichuan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5144060611","display_name":"Yinghao Zhu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhu, Yinghao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.2615000009536743,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.2615000009536743,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.21439999341964722,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.1264999955892563,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.8535000085830688},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6861000061035156},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6622999906539917},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.6606000065803528},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4887999892234802},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.47620001435279846},{"id":"https://openalex.org/keywords/feature-model","display_name":"Feature model","score":0.4065000116825104},{"id":"https://openalex.org/keywords/development","display_name":"Development (topology)","score":0.4004000127315521}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.8535000085830688},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8118000030517578},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6861000061035156},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6622999906539917},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.6606000065803528},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5796999931335449},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4887999892234802},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.47620001435279846},{"id":"https://openalex.org/C101814296","wikidata":"https://www.wikidata.org/wiki/Q5439685","display_name":"Feature model","level":3,"score":0.4065000116825104},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4007999897003174},{"id":"https://openalex.org/C2776542497","wikidata":"https://www.wikidata.org/wiki/Q5266672","display_name":"Development (topology)","level":2,"score":0.4004000127315521},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.39500001072883606},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.36419999599456787},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34950000047683716},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.33959999680519104},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.32989999651908875},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.31700000166893005},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.2752000093460083},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.2676999866962433},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.2671000063419342},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.25589999556541443},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.25540000200271606},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.25360000133514404}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.26777","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.26777","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.26777","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.26777","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.43157508969306946,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"LLM-based":[0],"code":[1],"agents":[2,31],"have":[3],"advanced":[4],"repository-level":[5,76],"software":[6],"development":[7,17,119],"through":[8,25,36],"iterative":[9],"interaction":[10],"with":[11,44,89],"codebases":[12],"and":[13,55,98,105,127],"tools.":[14],"However,":[15],"feature":[16,42,77,118],"requires":[18],"integrating":[19],"new":[20],"behaviors":[21],"into":[22,95],"existing":[23,121],"architectures":[24],"coherent":[26],"cross-component":[27],"functional":[28,46,82],"chains.":[29,47],"Existing":[30],"typically":[32],"derive":[33],"such":[34,136],"chains":[35,83],"free-form":[37],"reasoning,":[38],"often":[39],"producing":[40],"unreliable":[41],"designs":[43,50],"incomplete":[45],"Moreover,":[48],"textual":[49],"are":[51],"difficult":[52],"to":[53,60],"verify":[54],"enforce,":[56],"making":[57],"it":[58],"challenging":[59],"maintain":[61],"design-implementation":[62,109],"consistency":[63,110],"throughout":[64],"long-horizon":[65],"development.":[66,78],"We":[67],"propose":[68],"CodeSpec,":[69],"a":[70],"dual":[71],"executable":[72],"specification":[73],"method":[74],"for":[75],"It":[79],"builds":[80],"reliable":[81],"from":[84],"evidence":[85],"pairing":[86],"sub-requirement":[87],"semantics":[88],"repository":[90,143],"architectures,":[91],"then":[92],"compiles":[93],"them":[94],"complementary":[96],"architecture":[97],"behavior":[99],"specifications":[100],"that":[101],"check":[102],"chain":[103],"completeness":[104],"correctness":[106],"while":[107],"preserving":[108],"over":[111],"long":[112],"interactions.":[113],"On":[114],"FeatureBench,":[115],"which":[116],"targets":[117],"in":[120],"repositories,":[122],"CodeSpec":[123],"achieves":[124],"70.7%,":[125],"55.0%,":[126],"49.9%":[128],"pass":[129],"rates":[130],"under":[131],"DeepSeek-V4-Pro,":[132],"outperforming":[133],"representative":[134],"baselines":[135],"as":[137],"Claude":[138],"Code.":[139],"Results":[140],"on":[141],"the":[142],"generation":[144],"benchmark":[145],"NL2Repo-Bench":[146],"further":[147],"demonstrate":[148],"its":[149],"generalizability.":[150]},"counts_by_year":[],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2026-07-31T00:00:00"}