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

description: A dataset containing 11278 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Ophiopogon Ker Gawl.)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 11278 records from 207 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002001-250121130708018/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.14722292
title: Data of Differential Testing of Concurrent Classes - ICST 2025

description: ConDiff Artifact - ICST 2025

Differential Testing of Concurrent Classes

Valerio Terragni University of Auckland, New Zealand  v.terragni@auckland.ac.nzhttps://valerio-terragni.github.io/

Shing-Chi Cheung The Hong Kong University of Science and Technology, Hong Kong  

Accepted at ICST 2025

@inproceedings{Terragni2025ConDiff,  author    = {Valerio Terragni and Shing-Chi Cheung},  title     = {Differential Testing of Concurrent Classes},  booktitle = {The 18th IEEE International Conference on Software Testing, Verification and Validation (ICST)},  year      = {2025},  publisher = {IEEE},}

Subjects and Results



Folders Overview

The following folders contain all the program revisions used in our experiments:


- benchmarksC-B

- benchmarksC-BR100  

- benchmarksC-BR50  

- benchmarksC-BR25


Each folder includes two program versions:

- V1: The version without the fault.

- V2: The faulty version.


Results Folder

The `results` folder contains the outputs of ConDiff and the Baseline. The files are organized as follows:


- Files starting with `true_`: Results of ConDiff with the filtering phase enabled.

- Files starting with `false_`: Results of the Baseline, i.e., the variant of ConDiff without the filtering phase enabled.


Each file includes the results of 10 runs for each subject.


---


Results Details

The results include the detected behavioral differences (if any) and the following metrics (all time measurements are in milliseconds):


- SR: Success Rate  

- DRT: Difference Revealing Time  

- CT: Number of concurrent tests generated  

- CTB: Number of concurrent tests analyzed by the behavioral checker  

- CTPRUNED: Number of pruned tests  

- PREFIXPRUNED: Number of pruned prefixes that lead to sequential behavioral differences  

- SUFFIXPRUNED: Number of pruned suffixes that lead to sequential behavioral differences  

- CFP: Number of concurrent function pairs containing at least one changed method  


Time Measurements

- TIME_SCHANGE: Time to identify methods that are changed across revisions  

- TIME_GEN: Time to generate the tests  

- TIME_DIFFSEQ: Time for sequential behavioral checking  

- TIME_DIFFCON: Time for concurrent behavioral checking  

- TIME_CIA: Time for change impact analysis
DOI: 10.5281/zenodo.14722293
title: Data of Differential Testing of Concurrent Classes - ICST 2025

description: ConDiff Artifact - ICST 2025

Differential Testing of Concurrent Classes

Valerio Terragni University of Auckland, New Zealand  v.terragni@auckland.ac.nzhttps://valerio-terragni.github.io/

Shing-Chi Cheung The Hong Kong University of Science and Technology, Hong Kong  

Accepted at ICST 2025

@inproceedings{Terragni2025ConDiff,  author    = {Valerio Terragni and Shing-Chi Cheung},  title     = {Differential Testing of Concurrent Classes},  booktitle = {The 18th IEEE International Conference on Software Testing, Verification and Validation (ICST)},  year      = {2025},  publisher = {IEEE},}

Subjects and Results



Folders Overview

The following folders contain all the program revisions used in our experiments:


- benchmarksC-B

- benchmarksC-BR100  

- benchmarksC-BR50  

- benchmarksC-BR25


Each folder includes two program versions:

- V1: The version without the fault.

- V2: The faulty version.


Results Folder

The `results` folder contains the outputs of ConDiff and the Baseline. The files are organized as follows:


- Files starting with `true_`: Results of ConDiff with the filtering phase enabled.

- Files starting with `false_`: Results of the Baseline, i.e., the variant of ConDiff without the filtering phase enabled.


Each file includes the results of 10 runs for each subject.


---


Results Details

The results include the detected behavioral differences (if any) and the following metrics (all time measurements are in milliseconds):


- SR: Success Rate  

- DRT: Difference Revealing Time  

- CT: Number of concurrent tests generated  

- CTB: Number of concurrent tests analyzed by the behavioral checker  

- CTPRUNED: Number of pruned tests  

- PREFIXPRUNED: Number of pruned prefixes that lead to sequential behavioral differences  

- SUFFIXPRUNED: Number of pruned suffixes that lead to sequential behavioral differences  

- CFP: Number of concurrent function pairs containing at least one changed method  


Time Measurements

- TIME_SCHANGE: Time to identify methods that are changed across revisions  

- TIME_GEN: Time to generate the tests  

- TIME_DIFFSEQ: Time for sequential behavioral checking  

- TIME_DIFFCON: Time for concurrent behavioral checking  

- TIME_CIA: Time for change impact analysis
DOI: 10.15468/dl.vzqz94
title: Occurrence Download

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is CAN.1_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Brasenia schreberi J.F.Gmel."
 ]
}

 The dataset includes 4 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002004-250121130708018/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.14673389
title: Data for: Temperature variation and life history drive nonlinear dynamics of marine fish populations

description: Description:


This repository contains the data needed to reproduce our analyses. All code has been made available to reviewers and will be publicly released upon manuscript acceptance.



The raw data come from:



Fish time series from the RAM Legacy Stock Assessment Data Base (Ricard et al. 2011; Fish and Fisheries)

Fish species life history traits from FishLife (Thorson et al. 2023; Methods in Ecology Evolution)

Sea surface temperature time series from NOAA OI SST V2 High Resolution Dataset (https://psl.noaa.gov/data/gridded/data.noaa.oisst.v2.highres.html)

Sea surface temperature time series from COBE-SST 2 Dataset (https://psl.noaa.gov/data/gridded/data.cobe2.html)


Data files:



timeseries_ssb.csv - time series of spawner biomass

timeseries_rec.csv - time series of recruitment 

timeseries_tc.csv - time series of total catch 

mean_annual_SST_noaa.oisst.v2.csv - time series of mean SST for each population from noaa.oisst.v2

variation_annual_SST_noaa.oisst.v2.csv - time series of within year SST variation for each population from noaa.oisst.v2

data_correlates_sst_traits_ssb_r_tc.csv - dataframe of the life history and temperature correlates for all populations 

df_ccm_recruits.csv - time series of recruitment and matching SST for convergent cross mapping 

df_ccm_spawners.csv - time series of spawner biomass and matching SST for convergent cross mapping 

df_ccm_totalCatch.csv - time series of total catch and matching SST for convergent cross mapping 

SST_annualMean_timeseries_donors_COBE_ForSensitivityAnalysis.csv - time series of mean SST from COBE 

SST_annual_intraVariation_timeseries_donors_COBE_ForSensitivityAnalysis.csv - time series of within year SST variation from COBE

datassb_forModels.csv - data for spawner mixed models 

datarec_forModels.csv - data for recruit mixed models
DOI: 10.5281/zenodo.14673390
title: Data for: Temperature variation and life history drive nonlinear dynamics of marine fish populations

description: Description:


This repository contains the data needed to reproduce our analyses. All code has been made available to reviewers and will be publicly released upon manuscript acceptance.



The raw data come from:



Fish time series from the RAM Legacy Stock Assessment Data Base (Ricard et al. 2011; Fish and Fisheries)

Fish species life history traits from FishLife (Thorson et al. 2023; Methods in Ecology Evolution)

Sea surface temperature time series from NOAA OI SST V2 High Resolution Dataset (https://psl.noaa.gov/data/gridded/data.noaa.oisst.v2.highres.html)

Sea surface temperature time series from COBE-SST 2 Dataset (https://psl.noaa.gov/data/gridded/data.cobe2.html)


Data files:



timeseries_ssb.csv - time series of spawner biomass

timeseries_rec.csv - time series of recruitment 

timeseries_tc.csv - time series of total catch 

mean_annual_SST_noaa.oisst.v2.csv - time series of mean SST for each population from noaa.oisst.v2

variation_annual_SST_noaa.oisst.v2.csv - time series of within year SST variation for each population from noaa.oisst.v2

data_correlates_sst_traits_ssb_r_tc.csv - dataframe of the life history and temperature correlates for all populations 

df_ccm_recruits.csv - time series of recruitment and matching SST for convergent cross mapping 

df_ccm_spawners.csv - time series of spawner biomass and matching SST for convergent cross mapping 

df_ccm_totalCatch.csv - time series of total catch and matching SST for convergent cross mapping 

SST_annualMean_timeseries_donors_COBE_ForSensitivityAnalysis.csv - time series of mean SST from COBE 

SST_annual_intraVariation_timeseries_donors_COBE_ForSensitivityAnalysis.csv - time series of within year SST variation from COBE

datassb_forModels.csv - data for spawner mixed models 

datarec_forModels.csv - data for recruit mixed models
DOI: 10.6073/pasta/9603338f552985984a6ad1bffc7c90a2
title: Monitoring juvenile Chinook salmon outmigration using rotary screw traps on Yuba River

description: California Department of Water Resources (DWR) currently operates
 multiple eight-foot rotary screw traps (RSTs) at Hallwood Boulevard
 RM 7.5. RST operations were conducted by CDFW and then under the
 direction of the Yuba River Management Team from 1999 to 2009 at the
 Hallwood Boulevard site; and resumed in 2022 by DWR. The Hallwood
 site will essentially sample all areas of the lower Yuba River
 upstream of Hallwood Boulevard. Additionally, the Hallwood site is
 located downstream of the bulk of adult Chinook salmon spawning
 areas and downstream of all known spring-run Chinook salmon
 spawning. Data are currently being used to inform the development of
 a juvenile production estimate (JPE) for spring-run Chinook salmon
 in the Sacramento River Watershed as required by Incidental Take
 Permit No. 2081-2019-006-00 issued by CA Department of Fish and
 Wildlife (CDFW) to DWR for the long-term operation of the State
 Water Project. Data within the current year’s monitoring season are
 considered provisional.
DOI: 10.6084/m9.figshare.28260038
title: Supplementary Tables.docx

description: Supplementary Tables
DOI: 10.6084/m9.figshare.28260038.v1
title: Supplementary Tables.docx

description: Supplementary Tables
DOI: 10.15468/dl.ebdb68
title: Occurrence Download

description: A dataset containing 29896 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Amandinea punctata (Hoffm.) Coppins & Scheid."
 ]
}

 The dataset includes 29896 records from 339 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0002007-250121130708018/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.1594/pangaea.916079
title: Rate- and state-dependent friction parameters
DOI: 10.1594/pangaea.916081
title: Summary of experimental results

description: Each line represents a single sample (note that for some samples, not every measurement was made).Values in parentheses () are averages of available values from Experiments B629-B850.Values marked with a # are averages of available values from Experiments B629-B850.
DOI: 10.1594/pangaea.955997
title: Grain size determination from cores of Scottish rhodolith beds

description: The percent weight variable for each fraction was determined by sieving the bulk sediment into fractions, weighing the fractions and then calculating the % compared to the bulk weight of the section (analytical balance: 2 d.p.).
DOI: 10.1594/pangaea.974046
title: Abundance of megabenthos observed during Underwater Visual Census at pilot oyster reefs in the Borkum Reef Ground marine protected area (HEINCKE cruise HE601)

description: The Underwater Visual Census (UVC) transects were carried out by scientific divers during the Heincke HE601 cruise focusing on developing and testing monitoring techniques at the Borkum Reef Ground and Sylt Outer Reef Marine Protected Areas. The UVC transects consisted of 1x1m sampling regions. To define these regions, divers used a 1m-long PVC pipe. At each sampling region, the diver spent approximately 1 minute counting and identifying, to the lowest taxonomic level possible, as many organisms as possible. The UVC transect provide insights into the general composition of key species, higher systematic groups and ecological guilds. Files included correspond to the observed organisms at each sampling region. Precise geographical coordinates for start/end of the transect, as well as that for individual sampling regions is unavailable.
DOI: 10.15468/dl.cjrsh9
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Geissorhiza imbricata subsp. imbricata",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((35.628 -23.023,35.6007 -22.9702,35.6007 -23.165,35.628 -23.023))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0053191-250525065834625/datasets/export for details.
DOI: 10.1594/pangaea.956313
title: Hydrographic CTD data from the Dana expedition NorthGreen2017 in September 2017 on the Northeast Greenland shelf

description: The NorthGreen2017 cruise took place directly after the first between 11 September 2017 and 1 October 2017. It aimed to collect data pertaining to hydroraphical and environmental changes on the shelf. The cruise leader for the NorthGreen2017 cruise was Marit-Solveig Seidenkrantz.
DOI: 10.1594/pangaea.974027
title: CTD data Maxwell Bay (King George Island, Antarctica) during ECA60 expedition

description: Coastal CTD vertical profiles recorded using a SBE 25 plus CTD. The casts were taken from a small HPC workboat between the 16th and 28th of December 2023 in Maxwell Bay (King George Island, South Shetland Islands, Antarctica) during the Chilean Antarctic Expedition #60 (ECA60). The research team was working at the Julio Escudero Antarctic Research Station from INACH on King George Island at the time under the supervision of Juan Höfer (chief scientist).
DOI: 10.15468/dl.u54wts
title: Occurrence Download

description: A dataset containing 310 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is one of (Trinidad and Tobago, Colombia, Bolivia (Plurinational State of), Suriname, Ecuador, French Guiana, Brazil, Peru)",
 "OccurrenceStatus is Present",
 "PublishingOrg is one of (8825eec2-5312-4e2a-ada4-41b907818fdf, 06899e5a-7450-4ccc-a7ba-52885a3cf624, e1050db2-9faf-4d72-b860-295debaf9d2a, 1106e179-e49f-461f-95a6-459bf4d53c1b, 15b278a8-1356-4f7b-ba32-3c733c3d0aac, 750a8724-fa66-4c27-b645-bd58ac5ee010, 37560003-ae75-43c3-95aa-48c98797aa2a, 1928bdf0-f5d2-11dc-8c12-b8a03c50a862, c8d737e0-2ff8-42e8-b8fc-6b805d26fc5f, 28eb1a3f-1c15-4a95-931a-4af90ecb574d)",
 "TaxonKey is Lachesis muta (Linnaeus, 1766)"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Haplochromis gigas (Seehausen & Lippitsch, 1998)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "BasisOfRecord is one of (Specimen, Living Specimen, Observation, Human Observation, Machine Observation, Material sample, Literature Occurrence, Material citation, Occurrence evidence)",
 "Geometry POLYGON ((44.5146 10.8961,44.3186 11.0599,37.1382 11.0599,37.1382 2.0599,46.1382 2.0599,46.1382 11.0599,45.0861 11.0599,44.7982 10.9157,44.5146 10.8961))"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0053194-250525065834625/datasets/export for details.
DOI: 10.21227/x5mj-7j45
title: "deepFRR"

description: "DeepFRR (Deep Face Retouching Reversal) is a comprehensive dataset designed for face retouching analysis and reversal research. The dataset contains 50,000 high-resolution (1024 \u00d7 1024) facial images, providing a robust foundation for studying face manipulation and restoration techniques. The dataset utilizes Face++ API to apply various retouching operations:Eye EnlargingFace SlimmingSkin WhiteningSkin SmoothingEyebrow ShapingFace ShrinkingRetouching ParametersRetouching levels: Adjustable from 0 to 100Professional-grade commercial retouching effectsCustomizable operation combinationsThis dataset is particularly valuable for:Face retouching detectionOriginal image restorationDeep learning model trainingFace manipulation analysis"
DOI: 10.15468/dl.9vc26q
title: Occurrence Download

description: A dataset containing 810362 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Cerastium arcticum Lange, Cochlearia groenlandica L., Corylus avellana L., Cystopteris dickieana R.Sim, Draba surculosa Franch.)",
 "Geometry POLYGON ((-180 45.53015, 180 45.53015, 180 83.62313, -180 83.62313, -180 45.53015))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "CoordinateUncertaintyInMeters is less than or equal to 50000"
 ]
}

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

description: A dataset listing the 53 species recorded in GBIF matching the query:
{
 "and" : [
 "Country is Argentina",
 "DatasetKey is Computarización de la Colección Nacional de insectos Dr. Alfredo Barrera Marín del Museo de Historia Natural de la Ciudad de México (Coleoptera)"
 ]
}

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

description: A dataset containing 153 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Artibeus aequatorialis K.Andersen, 1906"
 ]
}

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

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

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

description: A dataset containing 1419 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Thamnophilus torquatus Swainson, 1825"
 ]
}

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

description: A dataset containing 4595 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is PRT.15.5_1",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 2017 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Solanum viarum Dunal"
 ]
}

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

description: A dataset containing 5239 species occurrences available in GBIF matching the query:
{
 "and" : [
 "GadmGid is one of (CHN.2_1, CHN.27_1, CHN.10_1)",
 "IucnRedListCategory is VU",
 "OccurrenceStatus is Present",
 "TaxonKey is Aves",
 "Year 2015-2024"
 ]
}

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

description: A dataset containing 1 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cirsium tepehuanense G.L.Nesom"
 ]
}

 The dataset includes 1 records from 1 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0153701-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.ltgz4q
title: Occurrence Download

description: A dataset containing 45715 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "BasisOfRecord is Observation",
 "BasisOfRecord is Unknown evidence",
 "BasisOfRecord is Living Specimen",
 "BasisOfRecord is Specimen",
 "BasisOfRecord is Literature Occurrence",
 "BasisOfRecord is Material sample",
 "BasisOfRecord is Human Observation",
 "BasisOfRecord is Machine Observation"
 ]
 },
 "Geometry POLYGON((70.50476 -14.10919,119.63562 -15.89722,132.08725 -9.59518,140.55908 -10.99869,152.04254 -14.14902,155.48813 -11.00967,148.6203 -8.47321,146.02753 6.72501,161.53198 28.10028,175.62881 54.32602,186.75385 70.89615,99.81354 71.61713,60.4248 71.36307,44.29001 68.76892,48.89465 54.55948,34.9736 44.49188,27.08267 43.26553,23.99689 35.54352,35.57098 23.64532,41.90186 13.13278,49.50027 12.258,58.90869 8.00217,58.78647 -10.07721,70.50476 -14.10919))",
 "HasCoordinate is true",
 "TaxonKey is Apocynaceae",
 "HasGeospatialIssue is false"
 ]
}

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