{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2022-02-01T15:08:47.704504+00:00", "custom_fields": { "meeting:meeting": { "acronym": "ICST 2022", "dates": "4-13 April 2022", "title": "15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022", "url": "https://icst2022.vrain.upv.es/" } }, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 2, "enabled": true, "entries": { "Artifacts.zip": { "checksum": "md5:a9a92e652629ec2bfa58f2710121affb", "ext": "zip", "id": "a942ed32-979e-4f44-a3fd-0feb66896e02", "key": "Artifacts.zip", "metadata": null, "mimetype": "application/zip", "size": 7789508219 }, "Readme.html": { "checksum": "md5:b7591fe86d6dfb956693d1cdaa4e7987", "ext": "html", "id": "26240bff-e8ad-472f-ad6b-85a0a1f2bbed", "key": "Readme.html", "metadata": null, "mimetype": "text/html", "size": 41747 } }, "order": [], "total_bytes": 7789549966 }, "id": "5929867", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/5929867/access", "access_links": "https://zenodo.org/api/records/5929867/access/links", "access_request": "https://zenodo.org/api/records/5929867/access/request", "access_users": "https://zenodo.org/api/records/5929867/access/users", "archive": "https://zenodo.org/api/records/5929867/files-archive", "archive_media": "https://zenodo.org/api/records/5929867/media-files-archive", "communities": "https://zenodo.org/api/records/5929867/communities", "communities-suggestions": "https://zenodo.org/api/records/5929867/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.5929867", "draft": "https://zenodo.org/api/records/5929867/draft", "files": "https://zenodo.org/api/records/5929867/files", "latest": "https://zenodo.org/api/records/5929867/versions/latest", "latest_html": "https://zenodo.org/records/5929867/latest", "media_files": "https://zenodo.org/api/records/5929867/media-files", "parent": "https://zenodo.org/api/records/5929866", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.5929866", "parent_html": "https://zenodo.org/records/5929866", "requests": "https://zenodo.org/api/records/5929867/requests", "reserve_doi": "https://zenodo.org/api/records/5929867/draft/pids/doi", "self": "https://zenodo.org/api/records/5929867", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.5929867", "self_html": "https://zenodo.org/records/5929867", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:5929867/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:5929867/sequence/default", "versions": "https://zenodo.org/api/records/5929867/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "creators": [ { "affiliations": [ { "name": "Uppsala University" } ], "person_or_org": { "family_name": "Hooman Asadian", "identifiers": [ { "identifier": "0000-0003-0090-634X", "scheme": "orcid" } ], "name": "Hooman Asadian", "type": "personal" } }, { "affiliations": [ { "name": "Uppsala University" } ], "person_or_org": { "family_name": "Paul Fiterau-Brostean", "identifiers": [ { "identifier": "0000-0002-5185-0035", "scheme": "orcid" } ], "name": "Paul Fiterau-Brostean", "type": "personal" } }, { "affiliations": [ { "name": "Uppsala University" } ], "person_or_org": { "family_name": "Bengt Jonsson", "identifiers": [ { "identifier": "0000-0001-7897-601X", "scheme": "orcid" } ], "name": "Bengt Jonsson", "type": "personal" } }, { "affiliations": [ { "name": "Uppsala University" } ], "person_or_org": { "family_name": "Konstantinos Sagonas", "identifiers": [ { "identifier": "0000-0001-9657-0179", "scheme": "orcid" } ], "name": "Konstantinos Sagonas", "type": "personal" } } ], "description": "
We provided the implementation of our proposed approach using a virtual machine (Artifacts-VM). The virtual machine can be run using Oracle VirtualBox, and the credentials for it is as the following:
\n\n\n\n\nUsername: user
\n
\nPassword: user
You can find the step-by-step guide to executing each experiment in Readme.html. This file also exists on the desktop of the virtual machine.
", "publication_date": "2022-04-04", "publisher": "Zenodo", "resource_type": { "id": "software", "title": { "de": "Software", "en": "Software" } }, "rights": [ { "description": { "en": "The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited." }, "icon": "cc-by-icon", "id": "cc-by-4.0", "props": { "scheme": "spdx", "url": "https://creativecommons.org/licenses/by/4.0/legalcode" }, "title": { "en": "Creative Commons Attribution 4.0 International" } } ], "title": "Replication material for the ICST 2022 paper: Applying symbolic execution to test implementations of a network protocol against its specification" }, "parent": { "access": { "owned_by": { "user": 297269 } }, "communities": {}, "id": "5929866", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.5929866", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.5929867", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:5929867", "provider": "oai" } }, "revision_id": 6, "stats": { "all_versions": { "data_volume": 755584551581.0, "downloads": 151, "unique_downloads": 112, "unique_views": 220, "views": 253 }, "this_version": { "data_volume": 747794959868.0, "downloads": 148, "unique_downloads": 110, "unique_views": 218, "views": 251 } }, "status": "published", "updated": "2022-02-02T15:49:23.431864+00:00", "versions": { "index": 1, "is_latest": true } }