{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2019-07-14T11:03:19.888568+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 1, "enabled": true, "entries": { "data.zip": { "checksum": "md5:5f1cc46f7cd8e1dfb2db0626b9a8ed96", "ext": "zip", "id": "9f8620e1-1bd1-4651-b5a6-310c1a965ef8", "key": "data.zip", "metadata": null, "mimetype": "application/zip", "size": 11718 } }, "order": [], "total_bytes": 11718 }, "id": "3334571", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/3334571/access", "access_links": "https://zenodo.org/api/records/3334571/access/links", "access_request": "https://zenodo.org/api/records/3334571/access/request", "access_users": "https://zenodo.org/api/records/3334571/access/users", "archive": "https://zenodo.org/api/records/3334571/files-archive", "archive_media": "https://zenodo.org/api/records/3334571/media-files-archive", "communities": "https://zenodo.org/api/records/3334571/communities", "communities-suggestions": "https://zenodo.org/api/records/3334571/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.3334571", "draft": "https://zenodo.org/api/records/3334571/draft", "files": "https://zenodo.org/api/records/3334571/files", "latest": "https://zenodo.org/api/records/3334571/versions/latest", "latest_html": "https://zenodo.org/records/3334571/latest", "media_files": "https://zenodo.org/api/records/3334571/media-files", "parent": "https://zenodo.org/api/records/3334570", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.3334570", "parent_html": "https://zenodo.org/records/3334570", "requests": "https://zenodo.org/api/records/3334571/requests", "reserve_doi": "https://zenodo.org/api/records/3334571/draft/pids/doi", "self": "https://zenodo.org/api/records/3334571", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.3334571", "self_html": "https://zenodo.org/records/3334571", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:3334571/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:3334571/sequence/default", "versions": "https://zenodo.org/api/records/3334571/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "Karlsruhe Institute of Technology" } ], "person_or_org": { "family_name": "Bernhard Beckert", "name": "Bernhard Beckert", "type": "personal" } }, { "person_or_org": { "family_name": "Thorsten Bormer", "name": "Thorsten Bormer", "type": "personal" } }, { "affiliations": [ { "name": "KTH Royal Institute of Technology" } ], "person_or_org": { "family_name": "Stephan Gocht", "name": "Stephan Gocht", "type": "personal" } }, { "affiliations": [ { "name": "Karlsruhe Institute of Technology" } ], "person_or_org": { "family_name": "Mihai Herda", "identifiers": [ { "identifier": "0000-0002-0142-1718", "scheme": "orcid" } ], "name": "Mihai Herda", "type": "personal" } }, { "person_or_org": { "family_name": "Daniel Lentzsch", "name": "Daniel Lentzsch", "type": "personal" } }, { "affiliations": [ { "name": "Karlsruhe Institute of Technology" } ], "person_or_org": { "family_name": "Mattias Ulbrich", "name": "Mattias Ulbrich", "type": "personal" } } ], "description": "
This data set contains the programs on which SemSlice was evaluated.
\n\nSemSlice is a tool for automatic and precise porgram slicing and was presented in:
\n\nhttp://dx.doi.org/10.1007/978-3-319-66845-1_20
\n\n\n\n
Data
\n-----
The folder "benchmarks" contains the programs which were used to evaluate SemSlice.
\n\nThe file "results.log" contains the evaluation results of running SemSlice on the benchmark programs.
\nThe evaluation was done on a virtual machine that had two Intel Core I7-4600MQ cores and 2GB RAM.