Mokav: Execution-driven differential testing with LLMs.
Saved in:
| Title: | Mokav: Execution-driven differential testing with LLMs. |
|---|---|
| Authors: | Etemadi, Khashayar1,2, khaes@kth.se, Mohammadi, Bardia1,3, bardia.mohammadi@sharif.edu, Su, Zhendong1, zhendong.su@inf.ethz.ch, Monperrus, Martin2, monperrus@kth.se |
| Source: | Journal of Systems & Software; Dec2025, Vol. 230, pN.PAG-N.PAG, 1p |
| Database: | Applied Science & Technology Source |
| ISSN: | 01641212 |
|---|---|
| DOI: | 10.1016/j.jss.2025.112571 |
