Cited By
View all- Misu MLopes CMa INoble J(2024)Towards AI-Assisted Synthesis of Verified Dafny MethodsProceedings of the ACM on Software Engineering10.1145/36437631:FSE(812-835)Online publication date: 12-Jul-2024
- Zhang QFang CMa YSun WChen Z(2023)A Survey of Learning-based Automated Program RepairACM Transactions on Software Engineering and Methodology10.1145/363197433:2(1-69)Online publication date: 23-Dec-2023
- Nashid NSintaha MMesbah AGrundy JPollock LPenta M(2023)Retrieval-Based Prompt Selection for Code-Related Few-Shot LearningProceedings of the 45th International Conference on Software Engineering10.1109/ICSE48619.2023.00205(2450-2462)Online publication date: 14-May-2023