:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hare, Joe, Freitas, Leo, Pierce, Ken
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2506.09636
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proceedings of the 22nd International Overture Workshop
by: Macedo, Hugo Daniel, et al.
Published: (2024)

Specification Slicing for VDM-SL
by: Oda, Tomohiro, et al.
Published: (2024)

Towards Operation Proof Obligation Generation for VDM
by: Battle, Nick, et al.
Published: (2025)

QuickCheck for VDM
by: Battle, Nick, et al.
Published: (2024)

Proceedings of the 23rd International Overture Workshop
by: Macedo, Hugo Daniel, et al.
Published: (2025)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
by: Kulik, Tomas, et al.
Published: (2024)

Uncertainty-Aware Environment Simulation of Medical Devices Digital Twins
by: Sartaj, Hassan, et al.
Published: (2024)

Factors Influencing Performance of Students in Software Automated Test Tools Course
by: Haldar, Susmita, et al.
Published: (2024)

Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
by: Hattori, Joe, et al.
Published: (2026)

Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code
by: Pan, Rangeet, et al.
Published: (2023)

Evaluating the Role of Security Assurance Cases in Agile Medical Device Development
by: Fransson, Max, et al.
Published: (2024)

WIP: Assessing the Effectiveness of ChatGPT in Preparatory Testing Activities
by: Haldar, Susmita, et al.
Published: (2025)

Mica: Automated Differential Testing for OCaml Modules
by: Ng, Ernest, et al.
Published: (2024)

Model-less Is the Best Model: Generating Pure Code Implementations to Replace On-Device DL Models
by: Zhou, Mingyi, et al.
Published: (2024)

LegacyTranslate: LLM-based Multi-Agent Method for Legacy Code Translation
by: Moti, Zahra, et al.
Published: (2026)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
by: Eniser, Hasan Ferit, et al.
Published: (2024)

Beyond Translation Accuracy: Addressing False Failures in LLM-Based Code Translation
by: Rabbi, Fazle, et al.
Published: (2026)

Approaching Code Search for Python as a Translation Retrieval Problem with Dual Encoders
by: Khan, Monoshiz Mahbub, et al.
Published: (2024)

ExeCoder: Empowering Large Language Models with Executability Representation for Code Translation
by: He, Minghua, et al.
Published: (2025)

Unraveling the Potential of Large Language Models in Code Translation: How Far Are We?
by: Tao, Qingxiao, et al.
Published: (2024)

ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
by: Xue, Pengyu, et al.
Published: (2024)

From Text to DSL: Evaluating Grammar-Based Model Generation Using Open LLMs
by: Baber, Junaid, et al.
Published: (2026)

Can Emulating Semantic Translation Help LLMs with Code Translation? A Study Based on Pseudocode
by: Chen, Songqiang, et al.
Published: (2025)

Evaluating Large Language Models for Code Translation: Effects of Prompt Language and Prompt Design
by: Aljagthami, Aamer, et al.
Published: (2025)

Specification-Driven Code Translation Powered by Large Language Models: How Far Are We?
by: Saha, Soumit Kanti, et al.
Published: (2024)

M&SCheck: Towards a Checklist to Support Software Engineering Newcomers to the Modeling and Simulation Area
by: Cintra, Luiza Martins de Freitas, et al.
Published: (2025)

Program Decomposition and Translation with Static Analysis
by: Ibrahimzada, Ali Reza
Published: (2024)

I Can't Share Code, but I need Translation -- An Empirical Study on Code Translation through Federated LLM
by: Kumar, Jahnavi, et al.
Published: (2025)

Extending SOUP to ML Models When DesigningCertified Medical Systems
by: Stirbu, Vlad, et al.
Published: (2021)

SpecTra: Enhancing the Code Translation Ability of Language Models by Generating Multi-Modal Specifications
by: Nitin, Vikram, et al.
Published: (2024)

Host-Based Allocators for Device Memory
by: Bell, Oren, et al.
Published: (2024)

STELLAR: A Search-Based Testing Framework for Large Language Model Applications
by: Sorokin, Lev, et al.
Published: (2026)

Bridging Imperative Process Models and Process Data Queries-Translation and Relaxation
by: Qureshi, Abdur Rehman Anwar, et al.
Published: (2025)

EdgeMLBalancer: A Self-Adaptive Approach for Dynamic Model Switching on Resource-Constrained Edge Devices
by: Matathammal, Akhila, et al.
Published: (2025)

TransLibEval: Demystify Large Language Models' Capability in Third-party Library-targeted Code Translation
by: Xue, Pengyu, et al.
Published: (2025)

NL in the Middle: Code Translation with LLMs and Intermediate Representations
by: Tai, Chi-en Amy, et al.
Published: (2025)

A Systematic Literature Review on Neural Code Translation
by: Chen, Xiang, et al.
Published: (2025)

Enhancing Text-to-SQL Translation for Financial System Design
by: Song, Yewei, et al.
Published: (2023)

Code Quality Analysis of Translations from C to Rust
by: Tadesse, Biruk, et al.
Published: (2026)

Word Closure-Based Metamorphic Testing for Machine Translation
by: Xie, Xiaoyuan, et al.
Published: (2023)