Buchumschlag

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	De Luca, Marco, De Angelis, Domenico Francesco, Amalfitano, Domenico, Cimmino, Pasquale, Fasolino, Anna Rita
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Symbolic Computation
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Statistical-Based Metric Threshold Setting Method for Software Fault Prediction in Firmware Projects: An Industrial Experience
von: De Luca, Marco, et al.
Veröffentlicht: (2026)

CIAO - Code In Architecture Out - Automated Software Architecture Documentation with Large Language Models
von: De Luca, Marco, et al.
Veröffentlicht: (2026)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
von: Gorna, Karolina, et al.
Veröffentlicht: (2026)

f4ncgb: High Performance Gröbner Basis Computations in Free Algebras
von: Heisinger, Maximilian, et al.
Veröffentlicht: (2025)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
von: Jayasena, Aruna, et al.
Veröffentlicht: (2023)

Open Source Prover in the Attic
von: Kovács, Zoltán, et al.
Veröffentlicht: (2024)

Faster Gröbner bases for Lie derivatives of ODE systems via monomial orderings
von: Bessonov, Mariya, et al.
Veröffentlicht: (2022)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
von: Dzafic, Izudin, et al.
Veröffentlicht: (2025)

Some Computational Tools for Solving a Selection of Problems in Control Theory
von: Demin, Alexander, et al.
Veröffentlicht: (2025)

Symbolic Integration Algorithm Selection with Machine Learning: LSTMs vs Tree LSTMs
von: Barket, Rashid, et al.
Veröffentlicht: (2024)

Generalised Burnside and Dixon algorithms for irreducible projective representations
von: Szabó, Attila
Veröffentlicht: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
von: Beyer, Dirk, et al.
Veröffentlicht: (2025)

Groebner.jl: A package for Gröbner bases computations in Julia
von: Demin, Alexander, et al.
Veröffentlicht: (2023)

SignatureTensors.jl: A Package for Signature Tensors in Julia
von: Riffo, Gabriel, et al.
Veröffentlicht: (2026)

Antiassociative algebra in R: introducing the evitaicossa package
von: Hankinn, Robin K. S.
Veröffentlicht: (2024)

Network Simulator-centric Compositional Testing
von: Rousseaux, Tom, et al.
Veröffentlicht: (2025)

PANTHER: Pluginizable Testing Environment for Network Protocols
von: Crochet, Christophe, et al.
Veröffentlicht: (2025)

A Symbolic Computing Perspective on Software Systems
von: Norman, Arthur C., et al.
Veröffentlicht: (2024)

Architectural Anti-Patterns in Student-Developed Microservice Architectures: An Exploratory Study
von: Fasolino, Anna Rita, et al.
Veröffentlicht: (2026)

Practical Modelling with Bigraphs
von: Archibald, Blair, et al.
Veröffentlicht: (2024)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
von: Durán, Antonio J., et al.
Veröffentlicht: (2013)

Towards Automatic Transformations of Coq Proof Scripts
von: Magaud, Nicolas
Veröffentlicht: (2024)

Fast Symbolic Integer-Linear Spectra
von: Luntzel, Jonny, et al.
Veröffentlicht: (2024)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
von: Dinu, Marius-Constantin, et al.
Veröffentlicht: (2024)

Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation
von: Younes, Grace, et al.
Veröffentlicht: (2025)

Extrapolating Solution Paths of Polynomial Homotopies towards Singularities with PHCpack and phcpy
von: Verschelde, Jan, et al.
Veröffentlicht: (2024)

Quadratization of Autonomous Partial Differential Equations: Theory and Algorithms
von: Olivieri, Albani, et al.
Veröffentlicht: (2026)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
von: Tirpankar, Tanmay, et al.
Veröffentlicht: (2025)

TwinArch: A Digital Twin Reference Architecture
von: Somma, Alessandra, et al.
Veröffentlicht: (2025)

Theme‐Driven Social Analysis: Three Approaches
von: Thomas DeGloma
Veröffentlicht: (2024)

Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting
von: Huang, Wei-Jia, et al.
Veröffentlicht: (2026)

Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one
von: Loday-Richaud, Michèle, et al.
Veröffentlicht: (2026)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
von: Kutsia, Temur, et al.
Veröffentlicht: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
von: Orvalho, Pedro, et al.
Veröffentlicht: (2025)

EGG-SR: Embedding Symbolic Equivalence into Symbolic Regression via Equality Graph
von: Jiang, Nan, et al.
Veröffentlicht: (2025)

Primes via Zeros: Interactive Proofs for Testing Primality of Natural Classes of Ideals
von: Garg, Abhibhav, et al.
Veröffentlicht: (2025)

Emancipatory Potential of Naming: A Study on Church Employees' Personal Stories of Negative Experiences
von: Minna Leinonen, et al.
Veröffentlicht: (2025)

Heimdall: Formally Verified Automated Migration of Legacy eBPF Programs to Rust
von: Dasu, Vishnu Asutosh, et al.
Veröffentlicht: (2026)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
von: Chen, Yongchao, et al.
Veröffentlicht: (2025)

SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
von: Gaudel, Bimal, et al.
Veröffentlicht: (2025)