Automatic Generation of Java Production Assertions Using Large Language Models
23 June 2026
AI4SE, Assertion, LLM, Program Comprehension
Journal: ACM Transactions on Software Engineering and Methodology (TOSEM). Status: Under review.