SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Hyegeun Song, Jiseong Han, Sunbeom So
DOI: 10.5281/zenodo.19583475
Cited by: 1

Abstract

This repository contains the artifact needed to replicate the key experimental results (i.e., Table 1 and Figure 3) from our paper, which was accepted at FSE 2026: "SmarTrim: Symbolic Execution for Smart Contracts Powered by Redundant Transaction-Sequence Pruning" The artifact is also available at our GitHub repository: https://github.com/ku-formal/SmarTrim-Artifact

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
15 April 2026