guest ::
Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
; ; ;
2025 & 2026
Submitted on 1 Aug 2025 (v1), last revised 7 Mar 2026 (this version, v3)
Online
DOI: 10.48550/arXiv.2508.00749
DOI: 10.18154/RWTH-CONV-255042
URL: https://publications.rwth-aachen.de/record/1030499/files/1030499.pdf
Einrichtungen
OpenAccess: 
PDF
External link: 
Fulltext by arXiv.org
Dokumenttyp
Preprint
Format
online
Sprache
English
Externe Identnummern
arXiv: arXiv:2508.00749
Interne Identnummern
RWTH-CONV-255042
Datensatz-ID: 1030499
Beteiligte Länder
Germany
; 
|
The record appears in these collections: |
Record created 2026-03-10, last modified 2026-07-21