AI-boosted software automation:learning from human pair programmers

• 来源期刊: 中国科学:化学（英文版）
• 年，卷（期）: 2019,（10）
• 页码范围: 46-48
• 页数: 3页
• 语种: 英文

摘要

Dear editor, Software automation [1] aims to automatically generate computer programs from formal or informal requirement descriptions.It covers a variety of transformations of different spans,including generating programs from natural-language requirements,requirements specifications,or design specifications.Traditionally software automation is achieved through logical reasoning and rule-based transformation [1].Although the transformation from high-level programming languages to their executable forms has been fully automated,automatic generation of programs from their requirements is still hard due to the informality,nonoperationality,and incompleteness of the requirements [2].