Artifact for "Chain Free String Constraints"

A zip file containing the artifact, benchmark suites, and script for installing and reproducing the results of the paper "Chain Free String Constraints" accepted at ATVA'19.

Tags
Data and Resources
To access the resources you must log in

This item has no data

Identity

Description: The Identity category includes attributes that support the identification of the resource.

Field Value
PID https://www.doi.org/10.5281/zenodo.3253884
PID https://www.doi.org/10.5281/zenodo.3254714
PID https://www.doi.org/10.5281/zenodo.3253748
PID https://www.doi.org/10.5281/zenodo.3253747
URL https://zenodo.org/record/3254714
URL http://dx.doi.org/10.5281/zenodo.3254714
URL http://dx.doi.org/10.5281/zenodo.3253747
URL https://zenodo.org/record/3253748
URL http://dx.doi.org/10.5281/zenodo.3253748
URL https://figshare.com/articles/Artifact_for_Chain_Free_String_Constraints_/9205268
URL https://zenodo.org/record/3253884
URL http://dx.doi.org/10.5281/zenodo.3253884
Access Modality

Description: The Access Modality category includes attributes that report the modality of exploitation of the resource.

Field Value
Access Right Open Source
Attribution

Description: Authorships and contributors

Field Value
Author Phi Diep Bui
Author Petr Janků
Publishing

Description: Attributes about the publishing venue (e.g. journal) and deposit location (e.g. repository)

Field Value
Collected From Zenodo; figshare; Datacite
Hosted By Zenodo; figshare
Publication Date 2019-06-24
Publisher Figshare
Additional Info
Field Value
Language UNKNOWN
Resource Type Software
system:type software
Management Info
Field Value
Source https://science-innovation-policy.openaire.eu/search/software?softwareId=dedup_wf_001::ac87f4d51d23d3cce0fe80036ff340fc
Author jsonws_user
Last Updated 17 December 2020, 23:31 (CET)
Created 17 December 2020, 23:31 (CET)