Cover Image

A Minimal Executable Proof for Multi-Language Contract Traceability

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Kasselman, Werner
Format:	Preprint
Published:	2026
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Natural Language Processing for Requirements Traceability
by: Guo, Jin L. C., et al.
Published: (2024)

Systematic API Testing Through Model Checking and Executable Contracts
by: Ribeiro, Ana, et al.
Published: (2026)

UOOR: Seamless and Traceable Requirements
by: Naumcheva, Maria, et al.
Published: (2025)

TraceLLM: Leveraging Large Language Models with Prompt Engineering for Enhanced Requirements Traceability
by: Alturayeif, Nouf, et al.
Published: (2026)

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
by: Chen, Jiachi, et al.
Published: (2025)

Auxiliary Artifacts in Requirements Traceability: A Systematic Mapping Study
by: Abdeen, Waleed, et al.
Published: (2025)

Classifier or Prompt: A Case Study on Legal Requirements Traceability
by: Etezadi, Romina, et al.
Published: (2025)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
by: Zhang, Jingwen, et al.
Published: (2026)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
by: Cloosters, Tobias, et al.
Published: (2026)

Introducing Traceability in GitHub for Medical Software Development
by: Stirbu, Vlad, et al.
Published: (2021)

On the Impact of Requirements Smells in Prompts: The Case of Automated Traceability
by: Vogelsang, Andreas, et al.
Published: (2025)

Taxonomic Trace Links: Rethinking Traceability and its Benefits
by: Abdeen, Waleed, et al.
Published: (2025)

Traceability and Accountability in Role-Specialized Multi-Agent LLM Pipelines
by: Barrak, Amine
Published: (2025)

Enhancing Requirements Traceability Link Recovery: A Novel Approach with T-SimCSE
by: Wang, Ye, et al.
Published: (2026)

Synergistic Enhancement of Requirement-to-Code Traceability: A Framework Combining Large Language Model based Data Augmentation and an Advanced Encoder
by: Zhang, Jianzhang, et al.
Published: (2025)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
by: Li, Haoyu, et al.
Published: (2026)

ReqToCode: Embedding Requirements Traceability as a Structural Property of the Codebase
by: Schlathölter, Thorsten
Published: (2026)

Who's Who? LLM-assisted Software Traceability with Architecture Entity Recognition
by: Fuchß, Dominik, et al.
Published: (2025)

R2Code: A Self-Reflective LLM Framework for Requirements-to-Code Traceability
by: Wang, Yifei, et al.
Published: (2026)

SoK: Systematizing Software Artifacts Traceability via Associations, Techniques, and Applications
by: Chen, Zhifei, et al.
Published: (2026)

Establishing Traceability Links between Release Notes & Software Artifacts: Practitioners' Perspectives
by: Nath, Sristy Sumana, et al.
Published: (2025)

Validation Framework for E-Contract and Smart Contract
by: Godboley, Sangharatna, et al.
Published: (2025)

An Execution-Verified Multi-Language Benchmark for Code Semantic Reasoning
by: Li, Yikun, et al.
Published: (2026)

TVR: Automotive System Requirement Traceability Validation and Recovery Through Retrieval-Augmented Generation
by: Niu, Feifei, et al.
Published: (2025)

SmartML: Towards a Modeling Language for Smart Contracts
by: Veschetti, Adele, et al.
Published: (2024)

Natural Language-Programming Language Software Traceability Link Recovery Needs More than Textual Similarity
by: Zou, Zhiyuan, et al.
Published: (2025)

A Tool for In-depth Analysis of Code Execution Reasoning of Large Language Models
by: Liu, Changshu, et al.
Published: (2025)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
by: Chen, Longfei, et al.
Published: (2025)

TRIAD: Automated Traceability Recovery based on Biterm-enhanced Deduction of Transitive Links among Artifacts
by: Gao, Hui, et al.
Published: (2023)

CONNECTOR: Enhancing the Traceability of Decentralized Bridge Applications via Automatic Cross-chain Transaction Association
by: Lin, Dan, et al.
Published: (2024)

UserTrace: User-Level Requirements Generation and Traceability Recovery from Software Project Repositories
by: Jin, Dongming, et al.
Published: (2025)

SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation
by: Ye, Zhifan, et al.
Published: (2025)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
by: Mbodji, Fatou Ndiaye, et al.
Published: (2024)

Assessing Coherency and Consistency of Code Execution Reasoning by Large Language Models
by: Liu, Changshu, et al.
Published: (2025)

Can Large Language Models Solve Path Constraints in Symbolic Execution?
by: Wang, Wenhan, et al.
Published: (2025)

Towards Generating Executable Metamorphic Relations Using Large Language Models
by: Shin, Seung Yeob, et al.
Published: (2024)

AVIATE: Exploiting Translation Variants of Artifacts to Improve IR-based Traceability Recovery in Bilingual Software Projects
by: Sun, Kexin, et al.
Published: (2024)

Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
by: Li, Dongcheng, et al.
Published: (2024)

Metamorphic Testing for Smart Contract Validation:A Case Study of Ethereum-Based Crowdfunding Contracts
by: Villanueva, Irving Jared, et al.
Published: (2025)

Executable Multi-Layered Software
by: Radosky, Lukas, et al.
Published: (2025)