ASSERTIFY: Utilizing large language models to generate assertions for production code
29 June 2026
AI4SE, Assertion, Code Analysis, LLM, Program Comprehension
Mohammad Jalili Torkamani
Computer Science PhD Candidate
AI4SE Researcher
AI Software Engineer
Mohammad Jalili Torkamani
Computer Science PhD Candidate
AI4SE Researcher
AI Software Engineer