Published May 3, 2022 | Version v2
Dataset Open

ESBMC-Jimple ISSTA'22 Benchmarks

Authors/Creators

  • 1. Federal University of Amazonas
  • 2. University of Manchester

Description

Accompanying files for the ISSTA'22 tool demonstration for the ESBMC-Jimple. The zip contains all benchmarks that were used for the experiments.

Files

benchmarks-issta-2022.zip

Files (84.3 MB)

Name Size
md5:0f0ca1fe2dcf3b4e9d29d497444b1f7a
12.2 kB Preview Download
md5:18a031239c47118ad06dca3a31708218
84.3 MB Preview Download