Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction

Documenti analoghi

• EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
  di: Liu, Chenyan, et al.
  Pubblicazione: (2026)
• CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
  di: Liu, Chenyan, et al.
  Pubblicazione: (2024)
• Generating Project-Specific Test Cases with Requirement Validation Intention
  di: Qi, Binhang, et al.
  Pubblicazione: (2025)
• Generalizing Test Cases for Comprehensive Test Scenario Coverage
  di: Qi, Binhang, et al.
  Pubblicazione: (2026)
• AutoDeduct: A Tool for Automated Deductive Verification of C Code
  di: Amilon, Jesper, et al.
  Pubblicazione: (2025)