@misc{indiciae9e5fbcc79f8a, title = {Assertion Messages with Large Language Models (LLMs) for Code}, author = {Ahmed Aljohani and Anamul Haque Mollah and Hyunsook Do}, year = {2025}, doi = {10.1145/3756681.3757000}, url = {https://arxiv.org/abs/2509.19673}, note = {Source identifier: 2509.19673} }