Towards javascript program repair with generative pre-trained transformer (gpt-2) [2022-ICSE] Invalidator: Automated patch correctness assessment via semantic and syntactic reasoning [2023-TSE] A ...