TY  - RPRT
TI  - METAMON: Finding Inconsistencies between Program Documentation and Behavior using Metamorphic LLM Queries
AU  - Hyeonseok Lee
AU  - Gabin An
AU  - Shin Yoo
PY  - 2025
UR  - https://arxiv.org/abs/2502.02794
ID  - 2502.02794
ER  -