TY - RPRT TI - Assertion Messages with Large Language Models (LLMs) for Code AU - Ahmed Aljohani AU - Anamul Haque Mollah AU - Hyunsook Do PY - 2025 DO - 10.1145/3756681.3757000 UR - https://arxiv.org/abs/2509.19673 ID - 2509.19673 ER -