ESBMC-Jimple ISSTA'22 Benchmarks

From MaRDI portal



DOI10.5281/zenodo.6514608Zenodo6514608MaRDI QIDQ6723814

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 3 May 2022

Copyright license: No records found.



Description

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






This page was built for dataset: ESBMC-Jimple ISSTA'22 Benchmarks

Retrieved from "https://mardi.schubotz.org/w/index.php?title=ESBMC-Jimple_ISSTA%2722_Benchmarks&oldid=44836609"
Powered by MediaWiki