Copertina

Translating a VDM Model of a Medical Device into Kapture

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Hare, Joe, Freitas, Leo, Pierce, Ken
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

QuickCheck for VDM
di: Battle, Nick, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Program Decomposition and Translation with Static Analysis
di: Ibrahimzada, Ali Reza
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

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