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