Cover Image

Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Helbling, Caleb, Leach-Krouse, Graham, Crystal, Michael
Format:	Preprint
Published:	2026
Subjects:	Software Engineering 68N30 D.2.4; D.2.7
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

cozy: Comparative Symbolic Execution for Binary Programs
by: Helbling, Caleb, et al.
Published: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
by: Lauer, Alexander, et al.
Published: (2026)

Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
by: López, Hugo A., et al.
Published: (2024)

Assessing Reliability of Statistical Maximum Coverage Estimators in Fuzzing
by: Liyanage, Danushka, et al.
Published: (2025)

Securing the Dark Matter: A Semantic-Enhanced Neuro-Symbolic Framework for Supply Chain Analysis of Opaque Industrial Software
by: Ning, Bowei, et al.
Published: (2026)

Large Language Models in Software Documentation and Modeling: A Literature Review and Findings
by: Radosky, Lukas, et al.
Published: (2026)

Mind the Metrics: Patterns for Telemetry-Aware In-IDE AI Application Development using the Model Context Protocol (MCP)
by: Koc, Vincent, et al.
Published: (2025)

A History Equivalence Algorithm for Dynamic Process Migration
by: Bakshi, Gargi, et al.
Published: (2024)

DRS-OSS: Practical Diff Risk Scoring with LLMs
by: Sayedsalehi, Ali, et al.
Published: (2025)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
by: Grahl, Johanna, et al.
Published: (2025)

Secure coding for web applications: Frameworks, challenges, and the role of LLMs
by: Kiashemshaki, Kiana, et al.
Published: (2025)

Analyzing the Adoption of Database Management Systems Throughout the History of Open Source Projects
by: Paiva, Camila A., et al.
Published: (2026)

Site Reliability Engineering (SRE) and Observations on SRE Process to Make Tasks Easier
by: Puli, Balaram
Published: (2025)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
by: Bai, Yubo, et al.
Published: (2025)

Tool-Assisted Conformance Checking to Reference Process Models
by: Rumpe, Bernhard, et al.
Published: (2025)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

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

NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
by: Li, Meng, et al.
Published: (2026)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
by: Huisman, Marieke, et al.
Published: (2020)

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

Validation of an analyzability model for quantum software: a family of experiments
by: Díaz-Muñoz, Ana, et al.
Published: (2026)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
by: Guo, Jinyao, et al.
Published: (2025)

SCARA: A Semantics-Constrained Autonomous Remediation Agent for Opaque Industrial Software Vulnerabilities
by: Ning, Bowei, et al.
Published: (2026)

Feature-Factory: Automating Software Feature Integration Using Generative AI
by: Vsevolodovna, Ruslan Idelfonso Magana
Published: (2024)

AgentEval: DAG-Structured Step-Level Evaluation for Agentic Workflows with Error Propagation Tracking
by: Guo, Dongxin, et al.
Published: (2026)

Towards a Probabilistic Framework for Analyzing and Improving LLM-Enabled Software
by: Baldonado, Juan Manuel, et al.
Published: (2025)

When Many-Shot Prompting Fails: An Empirical Study of LLM Code Translation
by: Oskooei, Amirkia Rafiei, et al.
Published: (2025)

Towards Observation Lakehouses: Living, Interactive Archives of Software Behavior
by: Kessel, Marcus
Published: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
by: Lin, Hongyu, et al.
Published: (2026)

AI for software engineering: from probable to provable
by: Meyer, Bertrand
Published: (2025)

LLMs as Idiomatic Decompilers: Recovering High-Level Code from x86-64 Assembly for Dart
by: Abualazm, Raafat, et al.
Published: (2026)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
by: Potanin, Alex
Published: (2026)

LLMDFA: Analyzing Dataflow in Code with Large Language Models
by: Wang, Chengpeng, et al.
Published: (2024)

Test-driven Software Experimentation with LASSO: an LLM Prompt Benchmarking Example
by: Kessel, Marcus
Published: (2024)

N-Version Assessment and Enhancement of Generative AI
by: Kessel, Marcus, et al.
Published: (2024)

Morescient GAI for Software Engineering (Extended Version)
by: Kessel, Marcus, et al.
Published: (2024)

Contract-based Verification of Digital Twins
by: Naeem, Muhammad, et al.
Published: (2025)

Automated structural testing of LLM-based agents: methods, framework, and case studies
by: Kohl, Jens, et al.
Published: (2026)

Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
by: Thompson, Kyle, et al.
Published: (2024)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
by: Bouzinier, Michael, et al.
Published: (2026)