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 |
Be the first to leave a comment!