Yangfan Zhou

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 appr...