ESOP`26 Artifact

Figshare 2026 Open access

Read full text
Authors: Frederico Ramos, Rafael Henrique [UNESP] Gonçalves, José Fragoso Santos, Pedro Adão
DOI: 10.6084/m9.figshare.30992707.v2
Cited by: 0

Abstract

This artifact accompanies the paper “Specification-Driven Generation of Summaries for Symbolic Execution” and provides a self-contained Docker image to reproduce all experimental results. It includes tools to generate and validate symbolic execution summaries from specifications, analyze their complexity, and evaluate performance across multiple benchmarks and datasets, enabling reproduction of all tables and figures in the paper.

Publication details

Journal / source
Figshare
Publication date
1 January 2026