Mokav: Execution-driven Differential Testing with LLMs (bibtex)

by Khashayar Etemadi, Bardia Mohammadi, Zhendong Su and Martin Monperrus

Reference:

Mokav: Execution-driven Differential Testing with LLMs (Khashayar Etemadi, Bardia Mohammadi, Zhendong Su and Martin Monperrus), In Journal of Systems and Software, 2025.

Bibtex Entry:

@article{2406.10375,
 title = {Mokav: Execution-driven Differential Testing with LLMs},
 journal = {Journal of Systems and Software},
 year = {2025},
 doi = {10.1016/j.jss.2025.112571},
 author = {Khashayar Etemadi and Bardia Mohammadi and Zhendong Su and Martin Monperrus},
 url = {http://arxiv.org/pdf/2406.10375},
}