Mokav: Execution-driven differential testing with LLMs

Khashayar Etemadi

doi:10.1016/j.jss.2025.112571

Mokav: Execution-driven differential testing with LLMs

2025-07-19

0

OA

AI

DOI：10.1016/j.jss.2025.112571

Original

Original request for help

Save

Abstract

En 中文

• Mokav is the first LLM-based tool for difference exposing test generation • C4DET is a curated dataset of 1,535 pair of programs with small semantic differences. • The iterative execution-driven approach of Mokav outperforms state-of-the-art in differential testing • An example test that guides the LLM about input structure significantly improves the effectiveness.

Keywords:

Test generation

Large language models

Behavioral difference

Mokav: Execution-driven differential testing with LLMs

Abstract

Journal

Organization