Instruction Tuning for Secure Code Generation.

Jingxuan He Mark Vero Gabriela Krasnopolska Martin T. Vechev

Published in: CoRR (2024)

Keyphrases

code generation
application development
software development
code generator
model driven
instructional design
modeling language
rapid prototyping
formal specification
software reuse
design patterns
lightweight
database
knowledge management
software engineering
computer aided
case study
metadata