Last Diff Analyzer: Multi-language Automated Approver for Behavior-Preserving Code Revisions.

Yuxin Wang Adam Welc Lazaro Clapp Lingchao Chen

Published in: ESEC/SIGSOFT FSE (2023)

Keyphrases

programming language
static analysis
fully automated
neural network
natural language
language processing
object oriented
general purpose
code generator
hierarchical data
automated analysis
specification language
semi automated
computer programs
computer aided
semi automatic
source code
machine learning