Buchumschlag

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bai, Yubo, Palit, Tapti
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

SafeTrans: LLM-assisted Transpilation from C to Rust
von: Farrukh, Muhammad, et al.
Veröffentlicht: (2025)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
von: Farrukh, Muhammad, et al.
Veröffentlicht: (2026)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
von: McCormack, Ian, et al.
Veröffentlicht: (2024)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
von: Helbling, Caleb, et al.
Veröffentlicht: (2026)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
von: Lu, Minghai, et al.
Veröffentlicht: (2025)

Validating Formal Specifications with LLM-generated Test Cases
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
von: Licorish, Sherlock A., et al.
Veröffentlicht: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
von: Yu, Boxi, et al.
Veröffentlicht: (2026)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
von: Yoon, Gangho, et al.
Veröffentlicht: (2025)

Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
von: Effendi, Sedick David Baker, et al.
Veröffentlicht: (2025)

Analyzing Logs of Large-Scale Software Systems using Time Curves Visualization
von: Borysenkov, Dmytro, et al.
Veröffentlicht: (2024)

Safeguarding DeFi Smart Contracts against Oracle Deviations
von: Deng, Xun, et al.
Veröffentlicht: (2024)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
von: Susan, Ştefan-Claudiu, et al.
Veröffentlicht: (2025)

cozy: Comparative Symbolic Execution for Binary Programs
von: Helbling, Caleb, et al.
Veröffentlicht: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
von: Cunha, Alcino, et al.
Veröffentlicht: (2025)

You Don't Need Public Tests to Generate Correct Code
von: Silva, Kaushitha, et al.
Veröffentlicht: (2026)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
von: Ravi, Ravin, et al.
Veröffentlicht: (2026)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
von: Sharmin, Shaila, et al.
Veröffentlicht: (2025)

Combined Program Analysis Techniques: A Systematic Mapping Study
von: Braione, Pietro, et al.
Veröffentlicht: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
von: Zietsman, Christo
Veröffentlicht: (2026)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
von: Amusuo, Paschal C., et al.
Veröffentlicht: (2024)

Understanding and Reusing Test Suites Across Database Systems
von: Zhong, Suyang, et al.
Veröffentlicht: (2024)

Multicalibration for LLM-based Code Generation
von: Campos, Viola, et al.
Veröffentlicht: (2025)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
von: Salva, Sébastien, et al.
Veröffentlicht: (2025)

Ownership in low-level intermediate representation
von: Priya, Siddharth, et al.
Veröffentlicht: (2024)

Rethinking Software Empirical Studies with Structural Causal Models
von: Rodriguez-Cardenas, Daniel, et al.
Veröffentlicht: (2026)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
von: Ranasinghe, Nishath Rajiv, et al.
Veröffentlicht: (2025)

FedCSD: A Federated Learning Based Approach for Code-Smell Detection
von: Alawadi, Sadi, et al.
Veröffentlicht: (2023)

Resilient Microservices: A Systematic Review of Recovery Patterns, Strategies, and Evaluation Frameworks
von: Mohammad, Muzeeb
Veröffentlicht: (2025)

A History Equivalence Algorithm for Dynamic Process Migration
von: Bakshi, Gargi, et al.
Veröffentlicht: (2024)

ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE
von: Ma, Tong, et al.
Veröffentlicht: (2025)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
von: Licorish, Sherlock A., et al.
Veröffentlicht: (2025)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
von: Churilov, Aleksandr
Veröffentlicht: (2026)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
von: Raedler, Simon, et al.
Veröffentlicht: (2023)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
von: Kiashemshaki, Kiana, et al.
Veröffentlicht: (2025)

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
von: Chen, Jiachi, et al.
Veröffentlicht: (2025)

Towards Comprehensive Sampling of SMT Solutions
von: Lyu, Shuangyu, et al.
Veröffentlicht: (2025)

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
von: Yusuf, Hadiza Umar, et al.
Veröffentlicht: (2025)

Evaluating Cryptographic API Misuse Detectors for Go
von: Andersson, Vivi, et al.
Veröffentlicht: (2026)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
von: Lucio, Levi
Veröffentlicht: (2026)