TY  - RPRT
TI  - Mokav: Execution-driven Differential Testing with LLMs
AU  - Khashayar Etemadi
AU  - Bardia Mohammadi
AU  - Zhendong Su
AU  - Martin Monperrus
PY  - 2025
DO  - 10.1016/j.jss.2025.112571
UR  - https://arxiv.org/abs/2406.10375
ID  - 2406.10375
ER  -