Beyond Code Generation: Assessing Code LLM Maturity with Postconditions.

Fusen He Juan Zhai Minxue Pan

Published in: CoRR (2024)

Keyphrases

code generation
application development
code generator
software development
mixed mode
formal specification
modeling language
model driven
software reuse
rapid prototyping
data processing
design patterns
database systems
software systems