Debugging Functionality-Twisting Translations by LLMs via Differential Testing with Bayesian Prior
Code translation, as a challenging and fundamental task, is increasingly relying on large language models (LLMs). However, LLMs often give seemingly plausible but fallacious translations, misleading and even deceptive to debugging developers. We propose tHinter, an automated approach that frames translation error local...
Shengnan Wu, Xin-Yu Sun, Xin Wang et al.
· ACM Transactions on Software... · 0 citations