cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15468/dl.jsjuhe
title: Occurrence Download

description: A dataset containing 810 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Syntrichopappus A.Gray",
 {
 "or" : [
 "Country is United States of America",
 "Country is Canada",
 "Country is Mexico"
 ]
 }
 ]
}

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

description: A dataset containing 22 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brachinus sclopeta (Fabricius, 1792)",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 817 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Venegasia DC.",
 {
 "or" : [
 "Country is United States of America",
 "Country is Canada",
 "Country is Mexico"
 ]
 }
 ]
}

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

description: A dataset containing 360 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Aeschynomene aspera L."
 ]
}

 The dataset includes 360 records from 45 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0017912-240216155721649/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.9bflhs
title: Occurrence Download

description: A dataset containing 349 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Campanula sibirica L.",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 3192 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Heloderma suspectum Cope, 1869"
 ]
}

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

description: A dataset containing 117242 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Anopheles gambiae Giles, 1900"
 ]
}

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

description: A dataset containing 2232 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Bebbia Greene",
 {
 "or" : [
 "Country is United States of America",
 "Country is Canada",
 "Country is Mexico"
 ]
 }
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Dendroctonus aztecus Wood, 1963"
 ]
}

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

description: A dataset containing 934 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Spodiopogon cotulifer (Thunb.) Hack.",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Country is Japan"
 ]
}

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

description: A dataset containing 410 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Machaerium madeirense Pittier"
 ]
}

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

description: A dataset containing 491 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Blepharizonia (A.Gray) Greene",
 {
 "or" : [
 "Country is United States of America",
 "Country is Canada",
 "Country is Mexico"
 ]
 }
 ]
}

 The dataset includes 491 records from 8 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0044395-160910150852091/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.8192821
title: Reproduction Package for ICSE 2024 Submission `Fault Localization on Verification Witnesses'

description: This package is a reproduction package for our ICSE 2024 submission "Fault Localization on Verification Witnesses".


This artifact requires at least 2 CPU cores, 8 GB of RAM, and about 150 GB of disk space.
The README on the Desktop contains all further instructions.


VM username: vagrant
VM password: vagrant


The VM was tested on Ubuntu with Virtual Box Version 7.0.10 r158379 (Qt5.15.3).


Article Abstract:


Formal verification has the potential to prove software safe, but suffers from trust issues. Because most formal-verification techniques
make a trade-off between precision and resource consumption, they
produce false alarms. These reduce the confidence in the verification result. To mitigate this issue, state-of-the-art verifiers export
violation witnesses that help independent validators to confirm
a reported property violation. It is assumed that these violation
witnesses are helpful if they are very precise: ideally, they should
describe a single program path for the validator to check. We claim
that this leads verifiers to produce large, detailed witnesses that
include a lot of unnecessary information. To check our hypothesis,
we reduce violation witnesses through automated fault localization: Given a witness as input, we reduce the witness to only that
information that fault localization deems relevant for reaching a
property violation in the program. We perform a large experimental
evaluation on the witnesses produced in the International Competition on Software Verification 2023 to explore the effect of this
reduction. Our experiments show that the reduced witnesses shrink
considerably. In addition, the confirmation rate of validators can
grow: The run time to confirm our reduced witnesses decreases
on average, and witnesses that were not confirmed before can be
confirmed after reduction.
DOI: 10.15468/dl.ltg2zc
title: Occurrence Download

description: A dataset containing 35 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Atropoides nummifer (Rüppel, 1845)",
 "PublishingCountry is Mexico"
 ]
}

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

description: A dataset containing 386 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Desmanthodium Benth.",
 {
 "or" : [
 "Country is United States of America",
 "Country is Canada",
 "Country is Mexico"
 ]
 }
 ]
}

 The dataset includes 386 records from 26 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0044397-160910150852091/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.10554862
title: Reproduction Package for Article `Fault Localization on Witnesses'

description: Fault Localization on Witnesses

Article Abstract

When verifiers report an alarm, they export a violation witness (exchangeable counterexample)that helps validate the reachability of that alarm.Conventional wisdom says that this violation witness should be very precise:the ideal witness describes a single error path for the validator to check.But we claim that verifiers overshoot and produce large witnesseswith information that makes validation unnecessarily difficult.To check our hypothesis, we reduce violation witnesses to that informationthat automated fault-localization approaches deem relevant for triggering the reported alarm in the program.We perform a large experimental evaluation on the witnessesproduced in the International Competition on Software Verification (SV-COMP 2023).It shows that our reduction shrinks the witnesses considerablyand enables the confirmation of verification results that were not confirmable before.

VM

The username for the VM is `vagrant`.The password for the VM is `vagrant`.

System Requirements

The artifact requires 4 CPU cores and 8 GB of RAM.

To inspect the data, we require at least 150GB of empty disk space to run the VM.To reproduce the results, we require 155GB.To run the full reproduction, we require 300GB.

The VM was tested on Ubuntu with Virtual Box Version 7.0.10 r158379 (Qt5.15.3).

Reproduction

Import the VM to VirtualBox and start it.We provide symbolic links to the reproduction directory on the Desktop.Please follow the instructions in the `ReadMe.md` inside the VM (located at `~/fault-localization-witnesses/ReadMe.md`).The upcoming three subsections serve as a quick-start guide for our artifact.

Reproduce the Example

To reproduce the example in our paper, navigate to `~/fault-localization-witnesses` and execute `./example.sh`.

Reproduce the Plots

Execute `./reproduce.sh` from `~/fault-localization-witnesses/` to reproduce our experiments.
DOI: 10.15468/dl.j86t5k
title: Occurrence Download

description: A dataset containing 55 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Plantae",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "Country is Germany",
 "DecimalLongitude is greater than or equal to 5.97647391463821",
 "DecimalLongitude is less than 5.97953346782261",
 "DecimalLatitude is greater than or equal to 47.27011",
 "DecimalLatitude is less than or equal to 55.05864"
 ]
}

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

description: A dataset containing 7 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Lepanthes odontocera Luer & Hirtz"
 ]
}

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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Mammillaria aureilanata Backeb."
 ]
}

 The dataset includes 4 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0005157-190918142434337/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.10952383
title: Reproduction Package for Article `Fault Localization on Witnesses'

description: Fault Localization on Witnesses

Article Abstract

When verifiers report an alarm, they export a violation witness (exchangeable counterexample)that helps validate the reachability of that alarm.Conventional wisdom says that this violation witness should be very precise:the ideal witness describes a single error path for the validator to check.But we claim that verifiers overshoot and produce large witnesseswith information that makes validation unnecessarily difficult.To check our hypothesis, we reduce violation witnesses to that informationthat automated fault-localization approaches deem relevant for triggering the reported alarm in the program.We perform a large experimental evaluation on the witnessesproduced in the International Competition on Software Verification (SV-COMP 2023).It shows that our reduction shrinks the witnesses considerablyand enables the confirmation of verification results that were not confirmable before.

VM

The username for the VM is `vagrant`.The password for the VM is `vagrant`.

System Requirements

The artifact requires 4 CPU cores and 8 GB of RAM.

To inspect the data, we require at least 150GB of empty disk space to run the VM.To reproduce the results, we require 155GB.To run the full reproduction, we require 300GB.

The VM was tested on Ubuntu with Virtual Box Version 7.0.10 r158379 (Qt5.15.3).

Reproduction

Import the VM to VirtualBox and start it.We provide symbolic links to the reproduction directory on the Desktop.Please follow the instructions in the `ReadMe.md` inside the VM (located at `~/fault-localization-witnesses/ReadMe.md`).The upcoming three subsections serve as a quick-start guide for our artifact.

Reproduce the Example

To reproduce the example in our paper, navigate to `~/fault-localization-witnesses` and execute `./example.sh`.

Reproduce the Plots

Execute `./reproduce.sh` from `~/fault-localization-witnesses/` to reproduce our experiments.
DOI: 10.15468/dl.bvyb8r
title: Occurrence Download

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Faxonia Brandegee",
 {
 "or" : [
 "Country is United States of America",
 "Country is Canada",
 "Country is Mexico"
 ]
 }
 ]
}

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

description: A dataset containing 311 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is one of (Observation, Human Observation, Specimen)",
 "Country is one of (Thailand, Cambodia, Viet Nam)",
 "OccurrenceStatus is Present",
 "TaxonKey is Elephas maximus Linnaeus, 1758",
 "Year 2000-2024"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Dendroctonus barberi Hopkins, 1909"
 ]
}

 The dataset includes 1 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0005158-151016162008034/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.10794627
title: Reproduction Package for Article `Fault Localization on Witnesses'

description: Fault Localization on Witnesses

Article Abstract

When verifiers report an alarm, they export a violation witness (exchangeable counterexample)that helps validate the reachability of that alarm.Conventional wisdom says that this violation witness should be very precise:the ideal witness describes a single error path for the validator to check.But we claim that verifiers overshoot and produce large witnesseswith information that makes validation unnecessarily difficult.To check our hypothesis, we reduce violation witnesses to that informationthat automated fault-localization approaches deem relevant for triggering the reported alarm in the program.We perform a large experimental evaluation on the witnessesproduced in the International Competition on Software Verification (SV-COMP 2023).It shows that our reduction shrinks the witnesses considerablyand enables the confirmation of verification results that were not confirmable before.

VM

The username for the VM is `vagrant`.The password for the VM is `vagrant`.

System Requirements

The artifact requires 4 CPU cores and 8 GB of RAM.

To inspect the data, we require at least 150GB of empty disk space to run the VM.To reproduce the results, we require 155GB.To run the full reproduction, we require 300GB.

The VM was tested on Ubuntu with Virtual Box Version 7.0.10 r158379 (Qt5.15.3).

Reproduction

Import the VM to VirtualBox and start it.We provide symbolic links to the reproduction directory on the Desktop.Please follow the instructions in the `ReadMe.md` inside the VM (located at `~/fault-localization-witnesses/ReadMe.md`).The upcoming three subsections serve as a quick-start guide for our artifact.

Reproduce the Example

To reproduce the example in our paper, navigate to `~/fault-localization-witnesses` and execute `./example.sh`.

Reproduce the Plots

Execute `./reproduce.sh` from `~/fault-localization-witnesses/` to reproduce our experiments.
DOI: 10.5281/zenodo.8192820
title: Reproduction Package for Article `Fault Localization on Witnesses'

description: Fault Localization on Witnesses

Article Abstract

When verifiers report an alarm, they export a violation witness (exchangeable counterexample)that helps validate the reachability of that alarm.Conventional wisdom says that this violation witness should be very precise:the ideal witness describes a single error path for the validator to check.But we claim that verifiers overshoot and produce large witnesseswith information that makes validation unnecessarily difficult.To check our hypothesis, we reduce violation witnesses to that informationthat automated fault-localization approaches deem relevant for triggering the reported alarm in the program.We perform a large experimental evaluation on the witnessesproduced in the International Competition on Software Verification (SV-COMP 2023).It shows that our reduction shrinks the witnesses considerablyand enables the confirmation of verification results that were not confirmable before.

VM

The username for the VM is `vagrant`.The password for the VM is `vagrant`.

System Requirements

The artifact requires 4 CPU cores and 8 GB of RAM.

To inspect the data, we require at least 150GB of empty disk space to run the VM.To reproduce the results, we require 155GB.To run the full reproduction, we require 300GB.

The VM was tested on Ubuntu with Virtual Box Version 7.0.10 r158379 (Qt5.15.3).

Reproduction

Import the VM to VirtualBox and start it.We provide symbolic links to the reproduction directory on the Desktop.Please follow the instructions in the `ReadMe.md` inside the VM (located at `~/fault-localization-witnesses/ReadMe.md`).The upcoming three subsections serve as a quick-start guide for our artifact.

Reproduce the Example

To reproduce the example in our paper, navigate to `~/fault-localization-witnesses` and execute `./example.sh`.

Reproduce the Plots

Execute `./reproduce.sh` from `~/fault-localization-witnesses/` to reproduce our experiments.
DOI: 10.15468/dl.qp1iml
title: Occurrence Download

description: A dataset containing 867 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Guardiola Cerv. ex Humb. & Bonpl.",
 {
 "or" : [
 "Country is United States of America",
 "Country is Canada",
 "Country is Mexico"
 ]
 }
 ]
}

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

description: A dataset containing 12 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Mammillaria oteroi Glass & R.A.Foster"
 ]
}

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

description: A dataset containing 50 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Plantae",
 "HasGeospatialIssue is false",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "Country is Germany",
 "DecimalLongitude is greater than or equal to 5.96729525508503",
 "DecimalLongitude is less than 5.97035480826942",
 "DecimalLatitude is greater than or equal to 47.27011",
 "DecimalLatitude is less than or equal to 55.05864"
 ]
}

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

description: A dataset containing 604 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "TaxonKey is Milleria Houst. ex L.",
 "TaxonKey is Milleria Herrich-Schäffer, 1859"
 ]
 },
 {
 "or" : [
 "Country is United States of America",
 "Country is Canada",
 "Country is Mexico"
 ]
 }
 ]
}

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

description: A dataset containing 2430 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Anopheles albitarsis Lynch Arribálzaga, 1878"
 ]
}

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