ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends

doi:10.5281/zenodo.4721925

Published April 26, 2021 | Version v1

Software Open

ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends

1. Stanford University

This artifact contains the log files, binaries and supporting material required to replicate the results described in the experimental evaluation of our tool paper "ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends" accepted at CAV 2021. Please refer to the Readme.md for further instructions.

Files

Readme.md

Files (1.6 GB)

Name	Size	Download all
ddsmt-artifact-2021.tar.xz md5:d66d3c321c9bb471e583c9107f953633	1.6 GB	Download
Readme.md md5:3e591204003aeefd377fa71d3af2528e	15.3 kB	Preview Download

547

Views

123

Downloads

Show more details

	All versions	This version
Views	547	538
Downloads	123	121
Data volume	125.3 GB	123.6 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: April 29, 2021
Modified: April 30, 2021

ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends

Creators

Description

Files

Readme.md

Files (1.6 GB)