cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.14920640
title: Analyzing the Impact of Elusive Faults on Blockchain Reliability – Supplemental Material

description: Supplemental Material for the paper - Analyzing the Impact of Elusive Faults on Blockchain Reliability

 

 



# Repository Structure

- `smartcontract-faultinjector`: All injector artifacts

- `contracts`: It contains the originals and the mutant contracts executed by this experiment

- `executiondata`: It contains the results obtained by executing all contracts on the blockchain

- `toolsanalysis`: It contains the reports of the vulnerability detection tools'


# Injector Structure

- `.. solidity-ast`: It contains a) fault injection modules for Solidity contracts, b) workload generator, and c) execution scripts

- `.. examples`: It refers to the input source folder. Thus, the free-faulty contracts must be included there

- `.. eda`: It contains scripts to unify the generated data


# How to reproduce the experiment (Step by Step)


1) Copy the free-faulty contracts in the examples folder


2) Run solidity-ast\generate-solidity-specific.sh


This process will inject the fault model into the free-faulty contracts, and as a result, the mutant contracts are created. In addition, the workload files will generated


3) Run solidity-ast\test\run.sh


This process starts the blockchain environment and starts the execution of all contracts (i.e., mutants and free-faulty)


4) Run eda\Merge.py


This process creates the CSV files. Import these files into an SGDB database.


5) On SGDB, run the eda/UC.sql for data analysis


# Tools Supported Version


Mythril: 0.4, 0.5, 0.6 and 0.7

Slither: 0.4, 0.5 and 0.6.

Securify 0.4, 0.5 and 0.6
DOI: 10.5281/zenodo.14338235
title: Analyzing the Impact of Elusive Faults on Blockchain Reliability – Supplemental Material

description: Supplemental Material for the paper - Analyzing the Impact of Elusive Faults on Blockchain Reliability

 

 



# Repository Structure

- `smartcontract-faultinjector`: All injector artifacts

- `contracts`: It contains the originals and the mutant contracts executed by this experiment

- `executiondata`: It contains the results obtained by executing all contracts on the blockchain

- `toolsanalysis`: It contains the reports of the vulnerability detection tools'


# Injector Structure

- `.. solidity-ast`: It contains a) fault injection modules for Solidity contracts, b) workload generator, and c) execution scripts

- `.. examples`: It refers to the input source folder. Thus, the free-faulty contracts must be included there

- `.. eda`: It contains scripts to unify the generated data


# How to reproduce the experiment (Step by Step)


1) Copy the free-faulty contracts in the examples folder


2) Run solidity-ast\generate-solidity-specific.sh


This process will inject the fault model into the free-faulty contracts, and as a result, the mutant contracts are created. In addition, the workload files will generated


3) Run solidity-ast\test\run.sh


This process starts the blockchain environment and starts the execution of all contracts (i.e., mutants and free-faulty)


4) Run eda\Merge.py


This process creates the CSV files. Import these files into an SGDB database.


5) On SGDB, run the eda/UC.sql for data analysis


# Tools Supported Version


Mythril: 0.4, 0.5, 0.6 and 0.7

Slither: 0.4, 0.5 and 0.6.

Securify 0.4, 0.5 and 0.6
DOI: 10.5281/zenodo.14659986
title: Monocular Inertial Visual Object Tracking (MIVOT)

description: The Monocular Inertial Visual Object Tracking (MIVOT) dataset is a novel dataset designed for 3D object detection and tracking from monocular and inertial inputs, specifically for dynamic environments like UAV applications. It includes synchronized RGB, inertial data, and ground truth depth annotations recorded with a RealSense D455i and Ouster OS0 LiDAR, simulating UAV perspectives with challenging scenarios such as bird's-eye views and dynamic movements, making it suitable for evaluating advanced object detection and tracking frameworks.
DOI: 10.5281/zenodo.14945288
title: Dual tunability of selective reflection by light and electric field for self-organizing materials - dataset

description: The presented data were used in the following paper: M. Mrukiewicz, M. Cigl, P. Perkowski, J. Karcz, V. Hamplová, and A. Bubnov, Dual tunability of selective reflection by light and electric field for self-organizing materials, Journal of Molecular Liquids 400, 124540 (2024).
DOI: 10.5281/zenodo.14945289
title: Dual tunability of selective reflection by light and electric field for self-organizing materials - dataset

description: The presented data were used in the following paper: M. Mrukiewicz, M. Cigl, P. Perkowski, J. Karcz, V. Hamplová, and A. Bubnov, Dual tunability of selective reflection by light and electric field for self-organizing materials, Journal of Molecular Liquids 400, 124540 (2024).
DOI: 10.15468/dl.j9v9pb
title: Occurrence Download

description: A dataset containing 7081 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "SpeciesKey is Secale cereale L.",
 "Year is greater than or equal to 2005",
 "Year is less than or equal to 2024"
 ]
}

 The dataset includes 7081 records from 262 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000678-250227182430271/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.4qyfca
title: Occurrence Download

description: A dataset containing 7081 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "and" : [
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 }
 ]
 },
 "SpeciesKey is Secale cereale L.",
 "Year is greater than or equal to 2005",
 "Year is less than or equal to 2024"
 ]
}

 The dataset includes 7081 records from 262 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000679-250227182430271/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.rjeru4
title: Occurrence Download

description: A dataset containing 1479 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Trema orientalis (L.) Blume)",
 "BasisOfRecord is one of (Machine Observation, Human Observation, Observation, Literature Occurrence)",
 "HasCoordinate is true"
 ]
}

 The dataset includes 1479 records from 101 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000720-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.c9ave2
title: Occurrence Download

description: A dataset containing 115 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Agrostis stolonifera f. stolonifera)",
 "BasisOfRecord is one of (Specimen, Human Observation, Observation, Living Specimen, Machine Observation, Literature Occurrence)",
 "Geometry POLYGON((-180 -90,180 -90,180 90,-180 90,-180 -90))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1945"
 ]
}

 The dataset includes 115 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000719-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.nyb6zu
title: Occurrence Download

description: A dataset containing 99 species occurrences available in GBIF matching the query:
{
 "and" : [
 "IdentifiedBy is one of (Krukoff, B. A, B. A. Krukoff, Krukoff, Krukoff BA, KRUKOFF)",
 "RecordedBy is one of (Krukoff B. A., B. A. KRUKOFF, Krukoff, KRUKOFF, Krukoff BA)"
 ]
}

 The dataset includes 99 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000721-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.14724296
title: Midia and Mangalia Sea level radar level sensor data (2022)

description: 2022 SLEV (water surface height above a specific datum) data for 2 stations along the Western Black Sea (northern point: Midia, southern point: Mangalia) according to project FOCCUS - WP2 [MHD data products T.2.1.2].
DOI: 10.5281/zenodo.14824480
title: Midia and Mangalia Sea level radar level sensor data (2022)

description: 2022 SLEV (water surface height above a specific datum) data for 2 stations along the Western Black Sea (northern point: Midia, southern point: Mangalia) according to project FOCCUS - WP2 [MHD data products T.2.1.2].
DOI: 10.5281/zenodo.14929039
title: Example for Midia and Mangalia Sea level radar level sensor data (2022)

description: Example for Sea Level (year 2022): SLEV (water surface height above a specific datum) data for 2 stations along the Western Black Sea (northern point: Midia, southern point: Mangalia) according to project FOCCUS-WP2 [MHD data products T.2.1.2].
DOI: 10.5281/zenodo.14945395
title: Example for Midia and Mangalia Sea level radar level sensor data (2022)

description: Example for Sea Level (year 2022): SLEV (water surface height above a specific datum) data for 2 stations along the Western Black Sea (northern point: Midia, southern point: Mangalia) according to project FOCCUS-WP2 [MHD data products T.2.1.2].
DOI: 10.5281/zenodo.6482838
title: Dataset for Transitional Wave Climate Regions on  Continental and Polar Coasts in a Warming World

description: This dataset supports Oderiz et al. (2022) "Transitional Wave Climate Regions on Continental and Polar Coasts in a Warming World". Nature Climate Change.10.1038/s41558-022-01389-3


 


We recomend users to also read:
Odériz, I., Silva, R., Mortlock, T. R., Mori, N., Shimura, T., et al. (2021). Natural variability and warming signals in global ocean wave climates. Geophysical Research Letters, 48, e2021GL093622. https://doi.org/10.1029/2021GL093622
DOI: 10.5281/zenodo.6482839
title: Dataset for Transitional Wave Climate Regions on  Continental and Polar Coasts in a Warming World

description: This dataset supports Oderiz et al. (2022) "Transitional Wave Climate Regions on Continental and Polar Coasts in a Warming World". Nature Climate Change.10.1038/s41558-022-01389-3


 


We recomend users to also read:
Odériz, I., Silva, R., Mortlock, T. R., Mori, N., Shimura, T., et al. (2021). Natural variability and warming signals in global ocean wave climates. Geophysical Research Letters, 48, e2021GL093622. https://doi.org/10.1029/2021GL093622
DOI: 10.15468/dl.wa8kmc
title: Occurrence Download

description: A dataset containing 103 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Quercus serrata Thunb."
 ]
}

 The dataset includes 103 records from 17 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000722-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.14944915
title: Benefit Perception of Community Supported Agriculture in Switzerland

description: The data, questionnaire and codebook are part of the PROACT project, researching communal forms of aricultural prosumption in Switzerland, such as community supported agriculture, allotment gardens and community gardens. This particular survey was aimed at the general Swiss population and focuses on their perception of community supported agriculture (CSA). The data collection was carried out by a professional consumer panel provider in September 2023. In order to ensure a balanced distribution regarding age and gender of the respondents, quota sampling was used. In total, there were 900 respondents, distributed evenly between five experimental groups and one control group.

For any quetions regarding the dataset or the codebook please contact: stefan.galley@students.unibe.ch
DOI: 10.5281/zenodo.14944916
title: Benefit Perception of Community Supported Agriculture in Switzerland

description: The data, questionnaire and codebook are part of the PROACT project, researching communal forms of aricultural prosumption in Switzerland, such as community supported agriculture, allotment gardens and community gardens. This particular survey was aimed at the general Swiss population and focuses on their perception of community supported agriculture (CSA). The data collection was carried out by a professional consumer panel provider in September 2023. In order to ensure a balanced distribution regarding age and gender of the respondents, quota sampling was used. In total, there were 900 respondents, distributed evenly between five experimental groups and one control group.

For any quetions regarding the dataset or the codebook please contact: stefan.galley@students.unibe.ch
DOI: 10.34847/cocoon.ddc5744e-da31-4382-8574-4eda31e38287
title: ironie sarcastique 3 egg
DOI: 10.34847/cocoon.f3a1cc42-3e30-42f3-a1cc-423e3072f3b9
title: politesse 3 egg
DOI: 10.34847/cocoon.3ba2e659-df60-4215-a2e6-59df60d2150f
title: évidence 3 egg
DOI: 10.34847/cocoon.3f77224f-896d-4dab-b722-4f896d8dabe5
title: séduction 3 egg
DOI: 10.34847/cocoon.aea719d2-6578-4cae-a719-d26578ecae8a
title: exclamation de surprise positif 3 egg
DOI: 10.34847/cocoon.85122d52-a031-46ea-922d-52a03116ea08
title: question-simple 3 egg
DOI: 10.34847/cocoon.4b167a85-140b-423f-967a-85140b623ffc
title: exclamation de surprise neutre 3 egg
DOI: 10.34847/cocoon.733b76e3-b9b7-4f64-bb76-e3b9b7cf64e3
title: autorité 3 egg
DOI: 10.34847/cocoon.69b8e4f5-97eb-43c0-b8e4-f597ebf3c076
title: mépris 3 egg
DOI: 10.34847/cocoon.7c5ca56b-843b-4e4f-9ca5-6b843bce4ff0
title: maternel 3 egg
DOI: 10.34847/cocoon.292b6eca-58e3-4747-ab6e-ca58e36747fa
title: admiration 3 egg
DOI: 10.34847/cocoon.c1c1b4b9-b944-4d5e-81b4-b9b9449d5e7e
title: déclaration 3 egg
DOI: 10.34847/cocoon.626acc49-e513-4f65-aacc-49e5139f650c
title: familier 3 egg
DOI: 10.34847/cocoon.6cd1f754-059c-4e34-91f7-54059c5e349e
title: doute-incrédulité 3 egg
DOI: 10.34847/cocoon.8c163eb8-13ec-4c19-963e-b813ec9c1933
title: irritation 3 egg
DOI: 10.34847/cocoon.179849f5-46ca-403e-9849-f546cac03e90
title: exclamation de surprise négatif 3 egg
DOI: 10.5281/zenodo.14945371
title: EIS_mCherry-mPEG-2000-P

description: Raw EIS data used in the publication “Fluorescent Protein PEGylation for Stable Photon Manipulation in Deep-Red Light-Emitting Devices” of the mCherry chemically modified with mPEG-2000 chains and embedded in the PVA matrix.

Dataset reference: Heat_BLED_WP1_WP2_T1.1_T2.1_mCherry_mPEG_2000_P
DOI: 10.5281/zenodo.14945372
title: EIS_mCherry-mPEG-2000-P

description: Raw EIS data used in the publication “Fluorescent Protein PEGylation for Stable Photon Manipulation in Deep-Red Light-Emitting Devices” of the mCherry chemically modified with mPEG-2000 chains and embedded in the PVA matrix.

Dataset reference: Heat_BLED_WP1_WP2_T1.1_T2.1_mCherry_mPEG_2000_P
DOI: 10.15468/dl.7546vh
title: Occurrence Download

description: A dataset containing 112 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Quercus phanera Chun"
 ]
}

 The dataset includes 112 records from 13 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000727-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.cuzm3d
title: Occurrence Download

description: A dataset containing 288 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Elaeagnus multiflora Thunb.)",
 "BasisOfRecord is one of (Machine Observation, Human Observation, Observation, Literature Occurrence)",
 "HasCoordinate is true"
 ]
}

 The dataset includes 288 records from 37 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000728-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.ap436h
title: Occurrence Download

description: A dataset listing the 12 species recorded in GBIF matching the query:
{
 "TaxonKey" : [
 "is Carcharias taurus Rafinesque, 1810"
 ]
}

 The dataset's 12 records were derived from 121 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000716-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.hu7tmm
title: Occurrence Download

description: A dataset containing 1849 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Ecuador",
 "TaxonKey is Rhinella marina (Linnaeus, 1758)"
 ]
}

 The dataset includes 1849 records from 37 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000729-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.6084/m9.figshare.26936845
title: Final datatable for Confluence

description: Data repostory for all samples and associated analyses for paper. This includes DOC, TDN, absorbance, fluoresence, discharge, and EEM PARAFAC data.
DOI: 10.6084/m9.figshare.26936845.v2
title: Final datatable for Confluence

description: Data repostory for all samples and associated analyses for paper. This includes DOC, TDN, absorbance, fluoresence, discharge, and EEM PARAFAC data.
DOI: 10.15468/dl.mwy737
title: Occurrence Download

description: A dataset containing 36 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is MBML-Anfibios - Coleção de Anfíbios MBML",
 "TaxonKey is Ololygon kautskyi Carvalho-e-Silva & Peixoto, 1991"
 ]
}

 The dataset includes 36 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000730-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.7mgbwn
title: Occurrence Download

description: A dataset containing 195 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pycnonotus sinensis hainanus (Swinhoe, 1870)"
 ]
}

 The dataset includes 195 records from 12 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000732-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.sshtnn
title: Occurrence Download

description: A dataset containing 4409 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Elaeagnus pungens Thunb.)",
 "BasisOfRecord is one of (Machine Observation, Human Observation, Observation, Literature Occurrence)",
 "HasCoordinate is true"
 ]
}

 The dataset includes 4409 records from 64 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000682-250227182430271/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.5zkezz
title: Occurrence Download

description: A dataset containing 3205 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Pycnonotus sinensis formosae Hartert, 1910"
 ]
}

 The dataset includes 3205 records from 27 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000731-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5284/1126724
title: Data from a Trial Trench Evaluation at Newton Purcell and Manthorn Farm, Chetwode, Buckinghamshire, 2020 (HS2 Phase One)

description: This collection comprises of site records, images and a spreadsheet from a trial trench evaluation carried out by COPA (Cotswold Oxford Pre-Construct Archaeology) at Newton Purcell and Manthorn Farm, Chetwode, Buckinghamshire between January and March 2020.
DOI: 10.15468/dl.49xarv
title: Occurrence Download

description: A dataset containing 800 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is China",
 "TaxonKey is Quercus baronii Skan"
 ]
}

 The dataset includes 800 records from 26 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000734-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.6tsdns
title: Occurrence Download

description: A dataset containing 4058 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Fatoua villosa (Thunb.) Nakai)",
 "BasisOfRecord is one of (Machine Observation, Human Observation, Observation, Literature Occurrence)",
 "HasCoordinate is true"
 ]
}

 The dataset includes 4058 records from 29 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000683-250227182430271/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.8tezbc
title: Occurrence Download

description: A dataset listing the 14545 species recorded in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-5.10891 50.04662,-5.20784 50.00517,-5.19924 49.94985,-4.13682 49.90001,-4.13682 50.29732,-4.24435 50.41532,-4.48092 50.34401,-4.61426 50.34675,-4.66588 50.36871,-4.76911 50.3495,-4.80352 50.25884,-4.97127 50.19555,-5.05299 50.22308,-5.15623 50.10735,-5.10891 50.04662))",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present"
 ]
}

 The dataset's 14545 records were derived from 386 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000723-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5284/1126725
title: Data from a Trial Trench Evaluation at Three Bridge Mill, Twyford, Buckinghamshire, 2020 (HS2 Phase One)

description: This collection comprises of site records, images and a spreadsheet from a trial trench evaluation carried out by COPA (Cotswold Oxford Pre-Construct Archaeology) at Three Bridge Mill, Twyford, Buckinghamshire between January and February 2020.
DOI: 10.15468/dl.bh3efv
title: Occurrence Download

description: A dataset containing 405 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Human Observation, Specimen)",
 "Continent is North America",
 "OccurrenceStatus is Present",
 "TaxonKey is Opuntia dejecta Salm-Dyck",
 "Year 1900-2025"
 ]
}

 The dataset includes 405 records from 34 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000684-250227182430271/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.fw5y4k
title: Occurrence Download

description: A dataset containing 308 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Human Observation, Specimen)",
 "Continent is North America",
 "OccurrenceStatus is Present",
 "TaxonKey is Opuntia durangensis Britton & Rose",
 "Year 1900-2025"
 ]
}

 The dataset includes 308 records from 24 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0000735-250227182400228/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.