Mokav: Execution-driven differential testing with LLMs. - Etemadi, Khashayar; Mohammadi, Bardia; Su, Zhendong; Monperrus, Martin (Journal of Systems & Software, 2025)