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

description: A dataset containing 7295 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Dasyornis brachypterus)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "License is one of (CC-BY 4.0, CC0 1.0)"
 ]
}

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

description: A dataset containing 2769 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Dasylophus superciliosus)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "License is one of (CC-BY 4.0, CC0 1.0)"
 ]
}

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

description: A dataset containing 146 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Piper aduncum",
 "Country is Indonesia",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brassica juncea",
 "Country is Sao Tome and Principe",
 "HasCoordinate is true"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0091666-250717081556266/datasets/export for details.
DOI: 10.5281/zenodo.16157915
title: Artifact for Tool Demonstration "HarnessForge: Automated Extraction of Verification Tasks from Industry-Scale Software Projects" (ASE 2025)

description: This artifact contains the tool HarnessForge and the infrastructureto create verification tasks from coreutils, AWS C common, and Intel TDX Module.We also include our generated task files.

All of this is shipped in the container image 'HarnessForge-ASE-2025-Tool-Demo-container-image.tar' of this directory.To run the image:

1. Load the container image into your local registry:

```$ docker load -i HarnessForge-ASE-2025-Tool-Demo-container-image.tar```

2. Run a container in this image:

```$ docker run -it --rm registry.gitlab.com/sosy-lab/research/data/harnessforge-automatic-extraction-of-verification-tasks/harnessforge:ase25-demo /bin/bash```

This opens a bash shell inside the container.

## Artifact Contents

The container contains two relevant directories:

- `/data/harnessforge`: A distribution of HarnessForge- `/data/task-creation`: Data for creating tasks from coreutils, AWS C common, and Intel TDX Module. This also contains our generated data.

For more information on task creation, look at `/data/task-creation/README.md`.

## Paper Abstract

We present HarnessForge, a command-line tool that automatesthe creation of verification tasks for industry-scale software projects written in C.Industry-scale code bases consist of multiple source and header files with a complex build process.HarnessForge removes the burden of handling this build process from software verifiersand enables verification engineers to structure harnesses independently from the code under verification.It automatically derives build commands, assembles relevant source files, and performs static program slicingto remove irrelevant components.To demonstrate its applicability, we apply HarnessForge to the code of AWS C Common, GNU Coreutils, and Intel’s TDX Module,creating a total of 444 verification tasks.Using the verification community’s task format enables users to apply nearly 100 verifiersand testers from the competitions on software verification (SV-COMP) and testing (Test-Comp).The Intel TDX Module tasks were used in SV-COMP 2025 to evaluate verifiers. A demo video is available at youtu.be/0WM9Lr8uV5o .
DOI: 10.15468/dl.5dd3cq
title: Occurrence Download

description: A dataset containing 114 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Piper aduncum",
 "Country is Papua New Guinea",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Anthemis cotula",
 "Country is India",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 9997 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Dasyornis broadbenti)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "License is one of (CC-BY 4.0, CC0 1.0)"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "DatasetKey is Mosquitoes (Diptera: Culicidae) Distribution in Thailand",
 "EventId is mc-moph-w-3117",
 "OccurrenceStatus is Present",
 "TaxonKey is Anopheles peditaeniatus"
 ]
}

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

description: A dataset containing 92 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Baryancistrus xanthellus)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

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

description: A dataset containing 13 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Persicaria capitata",
 "Country is Zimbabwe",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 16 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Piper aduncum",
 "Country is Philippines",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 16480 species occurrences available in GBIF matching the query:
{
 "and" : [
 "OccurrenceStatus is Present",
 "TaxonKey is Celosia argentea"
 ]
}

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

description: A dataset containing 1304 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Dasyornis longirostris)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "License is one of (CC-BY 4.0, CC0 1.0)"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brassica juncea",
 "Country is Slovakia",
 "HasCoordinate is true"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0091675-250717081556266/datasets/export for details.
DOI: 10.15468/dl.zxsv7n
title: Occurrence Download

description: A dataset containing 6615 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Deconychura longicauda)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "License is one of (CC-BY 4.0, CC0 1.0)"
 ]
}

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

description: A dataset containing 6 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Piper aduncum",
 "Country is Solomon Islands",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 12 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Deconychura pallida)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "License is one of (CC-BY 4.0, CC0 1.0)"
 ]
}

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

description: A dataset containing 19 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Bidens biternata",
 "Country is India",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Petrotilapia microgalana)",
 "BasisOfRecord is one of (Specimen, Literature Occurrence, Human Observation, Observation)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1991",
 "Year is less than or equal to 2025"
 ]
}

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

description: A dataset containing 17 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Deconychura typica)",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 "License is one of (CC-BY 4.0, CC0 1.0)"
 ]
}

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

description: A dataset containing 32 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Brassica juncea",
 "Country is South Africa",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 2739 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Persicaria hydropiper",
 "Country is United States of America",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 57716 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Mexico",
 "TaxonKey is Dendrocygna autumnalis"
 ]
}

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

description: A dataset containing 431 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Triodia bynoei"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Leptosomiformes)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((-110 -80,-100 -80,-100 -70,-110 -70,-110 -80))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021335-251009101135966/datasets/export for details.
DOI: 10.15468/dl.ky86q4
title: Occurrence Download

description: A dataset containing 1617 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Aextoxicon punctatum"
 ]
}

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

description: A dataset containing 5282 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Viburnum rufidulum)",
 "StateProvince is one of (Alabama, Arkansas, Florida, Georgia, Illinois, Indiana, Kansas, Kentucky, Louisiana, Mexico Northeast, Mississippi, Missouri, North Carolina, Ohio, Oklahoma, South Carolina, Tennessee, Texas, Virginia)",
 "BasisOfRecord is Specimen"
 ]
}

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

description: A dataset containing 2970 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Euphorbia hirsuta",
 "Country is Spain",
 "HasCoordinate is true"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Passeriformes)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((130 -90,140 -90,140 -80,130 -80,130 -90))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021338-251009101135966/datasets/export for details.
DOI: 10.15468/dl.uh4k38
title: Occurrence Download

description: A dataset containing 140240 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Colombia",
 "Geometry POLYGON((-77.27832 0.36002,-76.43868 0.24013,-74.62514 -0.34284,-73.41463 -1.59434,-73.02736 -2.46596,-71.2961 -2.24288,-70.09985 -2.76274,-70.72497 -3.79344,-69.95737 -4.2124,-69.56188 -2.86576,-67.1345 2.12959,-67.1308 5.98797,-71.30702 12.53711,-75.37895 10.87363,-77.49873 8.59968,-77.97878 7.3742,-77.29691 4.82655,-78.99436 1.44857,-77.27832 0.36002))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Melastomataceae",
 "Year 1706-2025"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Passeriformes)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((140 -90,150 -90,150 -80,140 -80,140 -90))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021340-251009101135966/datasets/export for details.
DOI: 10.15468/dl.n9gstx
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Leptosomiformes)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen)"
 ]
 }
 },
 "Geometry POLYGON((-160 -80,-150 -80,-150 -70,-160 -70,-160 -80))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0021339-251009101135966/datasets/export for details.
DOI: 10.15468/dl.a5s4qm
title: Occurrence Download

description: A dataset containing 28 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is Mexico",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Ayenia ardua"
 ]
}

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

description: A dataset containing 1617 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Aextoxicon punctatum"
 ]
}

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

description: A dataset containing 3297 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Zanthoxylum americanum)",
 "StateProvince is one of (Alabama, Arkansas, Connecticut, Delaware, District of Columbia, Florida, Georgia, Illinois, Indiana, Iowa, Kansas, Kentucky, Louisiana, Maine, Maryland, Massachusetts, Mexico Northeast, Michigan, Minnesota, Missouri, Nebraska, New Hampshire, New Jersey, New York, North Carolina, North Dakota, Nova Scotia, Ohio, Oklahoma, Ontario, Pennsylvania, Quebec, Rhode I., South Carolina, South Dakota, Tennessee, Vermont, Virginia, West Virginia, Wisconsin)",
 "BasisOfRecord is Specimen"
 ]
}

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