Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bai, Yubo, Palit, Tapti
Format:	Preprint
Publié:	2025
Sujets:	Software Engineering D.2.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

SafeTrans: LLM-assisted Transpilation from C to Rust
par: Farrukh, Muhammad, et autres
Publié: (2025)

ORBIT: Guided Agentic Orchestration for Autonomous C-to-Rust Transpilation
par: Farrukh, Muhammad, et autres
Publié: (2026)

A Study of Undefined Behavior Across Foreign Function Boundaries in Rust Libraries
par: McCormack, Ian, et autres
Publié: (2024)

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution
par: Helbling, Caleb, et autres
Publié: (2026)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
par: Lu, Minghai, et autres
Publié: (2025)

Validating Formal Specifications with LLM-generated Test Cases
par: Cunha, Alcino, et autres
Publié: (2025)

Comparing Human and LLM Generated Code: The Jury is Still Out!
par: Licorish, Sherlock A., et autres
Publié: (2025)

SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark
par: Yu, Boxi, et autres
Publié: (2026)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
par: Yoon, Gangho, et autres
Publié: (2025)

Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
par: Effendi, Sedick David Baker, et autres
Publié: (2025)

Analyzing Logs of Large-Scale Software Systems using Time Curves Visualization
par: Borysenkov, Dmytro, et autres
Publié: (2024)

Safeguarding DeFi Smart Contracts against Oracle Deviations
par: Deng, Xun, et autres
Publié: (2024)

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
par: Susan, Ştefan-Claudiu, et autres
Publié: (2025)

cozy: Comparative Symbolic Execution for Binary Programs
par: Helbling, Caleb, et autres
Publié: (2025)

Synthesizing Test Cases for Narrowing Specification Candidates
par: Cunha, Alcino, et autres
Publié: (2025)

You Don't Need Public Tests to Generate Correct Code
par: Silva, Kaushitha, et autres
Publié: (2026)

LLMLOOP: Improving LLM-Generated Code and Tests through Automated Iterative Feedback Loops
par: Ravi, Ravin, et autres
Publié: (2026)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
par: Sharmin, Shaila, et autres
Publié: (2025)

Combined Program Analysis Techniques: A Systematic Mapping Study
par: Braione, Pietro, et autres
Publié: (2026)

The Specification as Quality Gate: Three Hypotheses on AI-Assisted Code Review
par: Zietsman, Christo
Publié: (2026)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
par: Amusuo, Paschal C., et autres
Publié: (2024)

Understanding and Reusing Test Suites Across Database Systems
par: Zhong, Suyang, et autres
Publié: (2024)

Multicalibration for LLM-based Code Generation
par: Campos, Viola, et autres
Publié: (2025)

On the Soundness and Consistency of LLM Agents for Executing Test Cases Written in Natural Language
par: Salva, Sébastien, et autres
Publié: (2025)

Ownership in low-level intermediate representation
par: Priya, Siddharth, et autres
Publié: (2024)

Rethinking Software Empirical Studies with Structural Causal Models
par: Rodriguez-Cardenas, Daniel, et autres
Publié: (2026)

LLM-Assisted Translation of Legacy FORTRAN Codes to C++: A Cross-Platform Study
par: Ranasinghe, Nishath Rajiv, et autres
Publié: (2025)

FedCSD: A Federated Learning Based Approach for Code-Smell Detection
par: Alawadi, Sadi, et autres
Publié: (2023)

Resilient Microservices: A Systematic Review of Recovery Patterns, Strategies, and Evaluation Frameworks
par: Mohammad, Muzeeb
Publié: (2025)

A History Equivalence Algorithm for Dynamic Process Migration
par: Bakshi, Gargi, et autres
Publié: (2024)

ATLAS: A Layered Constraint-Guided Framework for Structured Artifact Generation in LLM-Assisted MDE
par: Ma, Tong, et autres
Publié: (2025)

GBM Returns the Best Prediction Performance among Regression Approaches: A Case Study of Stack Overflow Code Quality
par: Licorish, Sherlock A., et autres
Publié: (2025)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
par: Churilov, Aleksandr
Publié: (2026)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
par: Raedler, Simon, et autres
Publié: (2023)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
par: Kiashemshaki, Kiana, et autres
Publié: (2025)

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
par: Chen, Jiachi, et autres
Publié: (2025)

Towards Comprehensive Sampling of SMT Solutions
par: Lyu, Shuangyu, et autres
Publié: (2025)

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
par: Yusuf, Hadiza Umar, et autres
Publié: (2025)

Evaluating Cryptographic API Misuse Detectors for Go
par: Andersson, Vivi, et autres
Publié: (2026)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
par: Lucio, Levi
Publié: (2026)