Buchumschlag

Artefact for Revisiting the Combination of Static Analysis Error Traces and Dynamic Symbolic Execution

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Xu, Yihua, Zhang, Chengyu, pu, geguang
Format:	Recurso digital
Veröffentlicht:	Zenodo 2026
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Observation-Frame Reconstruction via Dynamical Synchronization: A Conceptual Research Framework
von: wang, pu
Veröffentlicht: (2026)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
von: Shafiuzzaman, Md, et al.
Veröffentlicht: (2026)

Symbolic Execution for Quantum Error Correction Programs
von: Fang, Wang, et al.
Veröffentlicht: (2023)

The Ancient World Revisited: Material Dimensions of Written Artefacts
Veröffentlicht: (2024)

Bayesian Optimization for Quantum Error-Correcting Code Discovery
von: Chengyu, Yihua, et al.
Veröffentlicht: (2026)

Teaching LLMs Program Semantics via Symbolic Execution Traces
von: Bayer, Jonas, et al.
Veröffentlicht: (2026)

BVI-Artefact: An Artefact Detection Benchmark Dataset for Streamed Videos
von: Feng, Chen, et al.
Veröffentlicht: (2023)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Claim against Measurement: Statistical Artefacts in Quantum Error Mitigation Benchmarks
von: Köster, Dominik, et al.
Veröffentlicht: (2026)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
von: Grahl, Johanna, et al.
Veröffentlicht: (2025)

Multi-Pass Targeted Dynamic Symbolic Execution
von: Yavuz, Tuba
Veröffentlicht: (2024)

SEPE-SQED: Symbolic Quick Error Detection by Semantically Equivalent Program Execution
von: Li, Yufeng, et al.
Veröffentlicht: (2024)

Beauty: The Body as Artefact
Veröffentlicht: (2026)

People, Texts and Artefacts
Veröffentlicht: (2020)

Exploring Written Artefacts
Veröffentlicht: (2022)

SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
von: Xia, Shihao, et al.
Veröffentlicht: (2025)

Demystifying Errors in LLM Reasoning Traces: An Empirical Study of Code Execution Simulation
von: Abdollahi, Mohammad, et al.
Veröffentlicht: (2025)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
von: Horvath, Gabor, et al.
Veröffentlicht: (2024)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
von: Shafiuzzaman, Md, et al.
Veröffentlicht: (2024)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
von: Pointner, Andreas, et al.
Veröffentlicht: (2025)

DRM Revisited: A Complete Error Analysis
von: Jiao, Yuling, et al.
Veröffentlicht: (2024)

FAIR Semantic Artefacts Catalogues
von: Tykhonov, Vyacheslav, et al.
Veröffentlicht: (2025)

Gabii through its Artefacts
Veröffentlicht: (2025)

Bell Correlations as Selection Artefacts
von: Price, Huw, et al.
Veröffentlicht: (2023)

Derivative-Guided Symbolic Execution
von: Yuan, Yongwei, et al.
Veröffentlicht: (2024)

TraceSIR: A Multi-Agent Framework for Structured Analysis and Reporting of Agentic Execution Traces
von: Yang, Shu-Xun, et al.
Veröffentlicht: (2026)

Static Retrieval Revisited: To Optimality and Beyond
von: Hu, Yang, et al.
Veröffentlicht: (2025)

Beyond Execution: Static-Analysis Rewards and Hint-Conditioned Diffusion RL for Code Generation
von: Ouyang, Shuyin, et al.
Veröffentlicht: (2026)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
von: Saumya, Charitha, et al.
Veröffentlicht: (2023)

Markov Capacity for Factor Codes with an Unambiguous Symbol
von: Han, Guangyue, et al.
Veröffentlicht: (2022)

Exploring Multilingualism and Multiscriptism in Written Artefacts
Veröffentlicht: (2024)

An Unusual Case of Mirror Image Artefact
von: Amar Kanani, et al.
Veröffentlicht: (2025)

Vorion: A RISC-V GPU with Hardware-Accelerated 3D Gaussian Rendering and Training
von: Wang, Yipeng, et al.
Veröffentlicht: (2025)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
von: Yang, Fanpeng, et al.
Veröffentlicht: (2025)

PathFuzzing: Worst Case Analysis by Fuzzing Symbolic-Execution Paths
von: Chen, Zimu, et al.
Veröffentlicht: (2025)

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks
von: Wang, Ruoxi, et al.
Veröffentlicht: (2025)

Static Quantum Errors and Purification
von: Kim, Jaemin, et al.
Veröffentlicht: (2024)

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
von: Wang, Lianjing, et al.
Veröffentlicht: (2026)

Artefact Analysis of Multistatic Three-Dimensional SAR Imaging with Two Linear Trajectories
von: Andre, Daniel, et al.
Veröffentlicht: (2025)

Combining Static Analysis Techniques for Program Comprehension Using Slicito
von: Husák, Robert, et al.
Veröffentlicht: (2025)