:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Xu, Yihua, Zhang, Chengyu, pu, geguang
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19105533
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Observation-Frame Reconstruction via Dynamical Synchronization: A Conceptual Research Framework
by: wang, pu
Published: (2026)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
by: Shafiuzzaman, Md, et al.
Published: (2026)

Symbolic Execution for Quantum Error Correction Programs
by: Fang, Wang, et al.
Published: (2023)

The Ancient World Revisited: Material Dimensions of Written Artefacts
Published: (2024)

Bayesian Optimization for Quantum Error-Correcting Code Discovery
by: Chengyu, Yihua, et al.
Published: (2026)

BVI-Artefact: An Artefact Detection Benchmark Dataset for Streamed Videos
by: Feng, Chen, et al.
Published: (2023)

Teaching LLMs Program Semantics via Symbolic Execution Traces
by: Bayer, Jonas, et al.
Published: (2026)

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

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

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

Multi-Pass Targeted Dynamic Symbolic Execution
by: Yavuz, Tuba
Published: (2024)

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

Beauty: The Body as Artefact
Published: (2026)

People, Texts and Artefacts
Published: (2020)

Exploring Written Artefacts
Published: (2022)

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

SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
by: Xia, Shihao, et al.
Published: (2025)

Demystifying Errors in LLM Reasoning Traces: An Empirical Study of Code Execution Simulation
by: Abdollahi, Mohammad, et al.
Published: (2025)

Implementing and Executing Static Analysis Using LLVM and CodeChecker
by: Horvath, Gabor, et al.
Published: (2024)

FAIR Semantic Artefacts Catalogues
by: Tykhonov, Vyacheslav, et al.
Published: (2025)

Gabii through its Artefacts
Published: (2025)

Bell Correlations as Selection Artefacts
by: Price, Huw, et al.
Published: (2023)

UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
by: Shafiuzzaman, Md, et al.
Published: (2024)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
by: Pointner, Andreas, et al.
Published: (2025)

DRM Revisited: A Complete Error Analysis
by: Jiao, Yuling, et al.
Published: (2024)

Derivative-Guided Symbolic Execution
by: Yuan, Yongwei, et al.
Published: (2024)

Markov Capacity for Factor Codes with an Unambiguous Symbol
by: Han, Guangyue, et al.
Published: (2022)

Static Retrieval Revisited: To Optimality and Beyond
by: Hu, Yang, et al.
Published: (2025)

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

Exploring Multilingualism and Multiscriptism in Written Artefacts
Published: (2024)

An Unusual Case of Mirror Image Artefact
by: Amar Kanani, et al.
Published: (2025)

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

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
by: Saumya, Charitha, et al.
Published: (2023)

Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications
by: Yang, Fanpeng, et al.
Published: (2025)

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

LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks
by: Wang, Ruoxi, et al.
Published: (2025)

Static Quantum Errors and Purification
by: Kim, Jaemin, et al.
Published: (2024)

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

Artefact Analysis of Multistatic Three-Dimensional SAR Imaging with Two Linear Trajectories
by: Andre, Daniel, et al.
Published: (2025)

The Problem of the Artefact: Subject Limits of the Art Library.
by: Fawcett, Trevor
Published: (1979)