Mokav: Execution-driven differential testing with LLMs - Etemadi, Khashayar; Mohammadi, Bardia; Su, Zhendong; Monperrus, Martin (The Journal of systems and software, 2025)
Keywords: Behavioral difference; Large language models; Test generation; Behavioral difference; Large language models; Test generation