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), Technical report 2406.10375, arXiv, 2024.
Bibtex Entry:
@techreport{2406.10375,
title = {Mokav: Execution-driven Differential Testing with LLMs},
year = {2024},
author = {Khashayar Etemadi and Bardia Mohammadi and Zhendong Su and Martin Monperrus},
url = {http://arxiv.org/pdf/2406.10375},
number = {2406.10375},
institution = {arXiv},
}