Behavioral Specification
A form of specification that describes what a program should do, without prescribing how to implement it, through input-output pairs, test cases or assertions; it is a black-box form of specification.
Timeline (last 90 days)
The paper points out that the agent first commits to a program structure (decomposing the program into data types, modules, and functions), which fixes a class of candidate programs, and the behavioral specification then selects a specific implementation within that class.
On four models and three benchmarks, the best-performing skeleton specification reduced average test error by 48.4% compared with the best end-to-end behavioral specification.
A behavioral specification refers to describing what a program "should do" through input-output pairs, test cases, or assertions without specifying "how to implement it," and is a black-box specification.
All Facts (3)
The paper points out that the agent first commits to a program structure (decomposing the program into data types, modules, and functions), which fixes a class of candidate programs, and the behavioral specification then selects a specific implementation within that class.
50%UnverifiedOn four models and three benchmarks, the best-performing skeleton specification reduced average test error by 48.4% compared with the best end-to-end behavioral specification.
50%UnverifiedA behavioral specification refers to describing what a program "should do" through input-output pairs, test cases, or assertions without specifying "how to implement it," and is a black-box specification.
50%