.png){kind=icon}
Return
Mokav: Execution-driven differential testing with LLMs
.png){kind=icon}
OA
AI
DOI：10.1016/j.jss.2025.112571.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
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
Journal
IF:
4.1
Papers:
5.5K
Citations:
8.4K
Organization
View more organizations
Cited Papers
ShareSaveShareSaveShareSave
ShareSaveShareSaveSearch-based detection of deviation failures in the migration of legacy spreadsheet applications.png)
IF0
PREAI
ShareSave View more