Proposes a traceable multilayer security model for spec-driven AI development and reports reduced modal failures (50 to 36) in a 221-test backend generation study when the model conditions the LLM.
Vulnerability as a main feature of the functional state which characterises software security during the life cycle,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Specification-Driven Development Benchmark: Security Knowledge Transition
Proposes a traceable multilayer security model for spec-driven AI development and reports reduced modal failures (50 to 36) in a 221-test backend generation study when the model conditions the LLM.