Mokav: Execution-driven differential testing with LLMs

Khashayar Etemadi, Bardia Mohammadi, Zhendong Su 0001, Martin Monperrus. Mokav: Execution-driven differential testing with LLMs. Journal of Systems and Software, 230:112571, 2025. [doi]

Authors

Khashayar Etemadi

This author has not been identified. Look up 'Khashayar Etemadi' in Google

Bardia Mohammadi

This author has not been identified. Look up 'Bardia Mohammadi' in Google

Zhendong Su 0001

This author has not been identified. Look up 'Zhendong Su 0001' in Google

Martin Monperrus

This author has not been identified. Look up 'Martin Monperrus' in Google