{"id":"https://openalex.org/W6930517283","doi":"https://doi.org/10.5281/zenodo.14722293","title":"Data of Differential Testing of Concurrent Classes - ICST 2025","display_name":"Data of Differential Testing of Concurrent Classes - ICST 2025","publication_year":2025,"publication_date":"2025-01-23","ids":{"openalex":"https://openalex.org/W6930517283","doi":"https://doi.org/10.5281/zenodo.14722293"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.14722293","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.14722293","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.14722293","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Terragni, Valerio","orcid":"https://orcid.org/0000-0001-5885-9297"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Terragni, Valerio","raw_affiliation_strings":["University of Auckland"],"raw_orcid":"https://orcid.org/0000-0001-5885-9297","affiliations":[{"raw_affiliation_string":"University of Auckland","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":null,"display_name":"Cheung, Shing Chi","orcid":"https://orcid.org/0000-0002-3508-7172"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Cheung, Shing Chi","raw_affiliation_strings":["Hong Kong University of Science and Technology"],"raw_orcid":"https://orcid.org/0000-0002-3508-7172","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10563","display_name":"Corneal surgery and disorders","score":0.5706999897956848,"subfield":{"id":"https://openalex.org/subfields/2741","display_name":"Radiology, Nuclear Medicine and Imaging"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},"topics":[{"id":"https://openalex.org/T10563","display_name":"Corneal surgery and disorders","score":0.5706999897956848,"subfield":{"id":"https://openalex.org/subfields/2741","display_name":"Radiology, Nuclear Medicine and Imaging"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11377","display_name":"Retinal and Macular Surgery","score":0.08839999884366989,"subfield":{"id":"https://openalex.org/subfields/2741","display_name":"Radiology, Nuclear Medicine and Imaging"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T11310","display_name":"Connective tissue disorders research","score":0.06449999660253525,"subfield":{"id":"https://openalex.org/subfields/1311","display_name":"Genetics"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/artifact","display_name":"Artifact (error)","score":0.7021999955177307},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5559999942779541},{"id":"https://openalex.org/keywords/prefix","display_name":"Prefix","score":0.47620001435279846},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.4339999854564667},{"id":"https://openalex.org/keywords/phase","display_name":"Phase (matter)","score":0.3749000132083893},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.31700000166893005},{"id":"https://openalex.org/keywords/differential-effects","display_name":"Differential effects","score":0.3093000054359436}],"concepts":[{"id":"https://openalex.org/C2779010991","wikidata":"https://www.wikidata.org/wiki/Q2720909","display_name":"Artifact (error)","level":2,"score":0.7021999955177307},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6248999834060669},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5559999942779541},{"id":"https://openalex.org/C141603448","wikidata":"https://www.wikidata.org/wiki/Q134830","display_name":"Prefix","level":2,"score":0.47620001435279846},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.4339999854564667},{"id":"https://openalex.org/C44280652","wikidata":"https://www.wikidata.org/wiki/Q104837","display_name":"Phase (matter)","level":2,"score":0.3749000132083893},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.35420000553131104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3490999937057495},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34380000829696655},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.31700000166893005},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30979999899864197},{"id":"https://openalex.org/C3019921246","wikidata":"https://www.wikidata.org/wiki/Q104853310","display_name":"Differential effects","level":2,"score":0.3093000054359436},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3061999976634979},{"id":"https://openalex.org/C2989277270","wikidata":"https://www.wikidata.org/wiki/Q168338","display_name":"Behavioral analysis","level":2,"score":0.2809999883174896},{"id":"https://openalex.org/C80478641","wikidata":"https://www.wikidata.org/wiki/Q195771","display_name":"Sequential analysis","level":2,"score":0.2800000011920929},{"id":"https://openalex.org/C78382760","wikidata":"https://www.wikidata.org/wiki/Q2288649","display_name":"Concurrent engineering","level":3,"score":0.2614000141620636},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.26019999384880066},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.26019999384880066},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.257999986410141},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.2565999925136566}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.14722293","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.14722293","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Dataset"}],"best_oa_location":{"id":"doi:10.5281/zenodo.14722293","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.14722293","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dataset"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"ConDiff":[0,121,138,157],"Artifact":[1],"-":[2,86,88,90,92,100,107,131,144,196,200,205,212,223,229,241,253,268,279,286,293,300],"ICST":[3,32],"2025":[4,33],"Differential":[5],"Testing":[6,45],"of":[7,13,24,46,120,137,150,156,168,208,215,226,232,244,256],"Concurrent":[8,47],"Classes":[9],"Valerio":[10],"Terragni":[11,38],"University":[12,23],"Auckland,":[14],"New":[15],"Zealand":[16],"v.terragni@auckland.ac.nzhttps://valerio-terragni.github.io/":[17],"Shing-Chi":[18,40],"Cheung":[19],"The":[20,74,102,109,114,125,177],"Hong":[21,28],"Kong":[22,29],"Science":[25],"and":[26,39,60,70,122,186],"Technology,":[27],"Accepted":[30],"at":[31,261],"@inproceedings{Terragni2025ConDiff,":[34],"author":[35],"=":[36,43,50,64,67],"{Valerio":[37],"Cheung},":[41],"title":[42],"{Differential":[44],"Classes},":[48],"booktitle":[49],"{The":[51],"18th":[52],"IEEE":[53],"International":[54],"Conference":[55],"on":[56],"Software":[57],"Testing,":[58],"Verification":[59],"Validation":[61],"(ICST)},":[62],"year":[63],"{2025},":[65],"publisher":[66],"{IEEE},}":[68],"Subjects":[69],"Results":[71,112,136,149,175],"Folders":[72],"Overview":[73],"following":[75,188],"folders":[76],"contain":[77],"all":[78],"the":[79,105,118,123,140,151,154,159,166,180,187,220,284],"program":[80,98],"revisions":[81,278],"used":[82],"in":[83,194],"our":[84],"experiments:":[85],"benchmarksC-B":[87],"benchmarksC-BR100":[89],"benchmarksC-BR50":[91],"benchmarksC-BR25":[93],"Each":[94,163],"folder":[95,116],"includes":[96,165],"two":[97],"versions:":[99],"V1:":[101],"version":[103],"without":[104,158],"fault.":[106],"V2:":[108],"faulty":[110],"version.":[111],"Folder":[113],"`results`":[115],"contains":[117],"outputs":[119],"Baseline.":[124],"files":[126],"are":[127,193,275],"organized":[128],"as":[129],"follows:":[130],"Files":[132,145],"starting":[133,146],"with":[134,139,147],"`true_`:":[135],"filtering":[141,160],"phase":[142,161],"enabled.":[143,162],"`false_`:":[148],"Baseline,":[152],"i.e.,":[153],"variant":[155],"file":[164],"results":[167,178],"10":[169],"runs":[170],"for":[171,289,296,303],"each":[172],"subject.":[173],"---":[174],"Details":[176],"include":[179],"detected":[181],"behavioral":[182,221,239,251,291,298],"differences":[183,240,252],"(if":[184],"any)":[185],"metrics":[189],"(all":[190],"time":[191],"measurements":[192],"milliseconds):":[195],"SR:":[197],"Success":[198],"Rate":[199],"DRT:":[201],"Difference":[202],"Revealing":[203],"Time":[204,266,270,281,288,295,302],"CT:":[206],"Number":[207,214,225,231,243,255],"concurrent":[209,216,257,297],"tests":[210,217,228,285],"generated":[211],"CTB:":[213],"analyzed":[218],"by":[219],"checker":[222],"CTPRUNED:":[224],"pruned":[227,233,245],"PREFIXPRUNED:":[230],"prefixes":[234],"that":[235,247,274],"lead":[236,248],"to":[237,249,271,282],"sequential":[238,250,290],"SUFFIXPRUNED:":[242],"suffixes":[246],"CFP:":[254],"function":[258],"pairs":[259],"containing":[260],"least":[262],"one":[263],"changed":[264,276],"method":[265],"Measurements":[267],"TIME_SCHANGE:":[269],"identify":[272],"methods":[273],"across":[277],"TIME_GEN:":[280],"generate":[283],"TIME_DIFFSEQ:":[287],"checking":[292,299],"TIME_DIFFCON:":[294],"TIME_CIA:":[301],"change":[304],"impact":[305],"analysis":[306]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}