{"id":"https://openalex.org/W4410536483","doi":"https://doi.org/10.1109/icst62969.2025.10989027","title":"Differential Testing of Concurrent Classes","display_name":"Differential Testing of Concurrent Classes","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4410536483","doi":"https://doi.org/10.1109/icst62969.2025.10989027"},"language":"en","primary_location":{"id":"doi:10.1109/icst62969.2025.10989027","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst62969.2025.10989027","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Software Testing, Verification and Validation (ICST)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068101658","display_name":"Valerio Terragni","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":"Valerio Terragni","raw_affiliation_strings":["University of Auckland,Auckland,New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Auckland,Auckland,New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034057959","display_name":"Shing-Chi Cheung","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":"Shing-Chi Cheung","raw_affiliation_strings":["The Hong Kong University of Science and Technology,Hong Kong,China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Hong Kong University of Science and Technology,Hong Kong,China","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":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09923089,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"255","last_page":"266"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9222999811172485,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10533","display_name":"Teaching and Learning Programming","score":0.9222999811172485,"subfield":{"id":"https://openalex.org/subfields/1706","display_name":"Computer Science Applications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11902","display_name":"Intelligent Tutoring Systems and Adaptive Learning","score":0.9157999753952026,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9124000072479248,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6345324516296387},{"id":"https://openalex.org/keywords/differential","display_name":"Differential (mechanical device)","score":0.46611884236335754},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1026933491230011}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6345324516296387},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.46611884236335754},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1026933491230011},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icst62969.2025.10989027","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icst62969.2025.10989027","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE Conference on Software Testing, Verification and Validation (ICST)","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-149772","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-149772","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":79,"referenced_works":["https://openalex.org/W95169743","https://openalex.org/W203808516","https://openalex.org/W1771830246","https://openalex.org/W1970603830","https://openalex.org/W1971650562","https://openalex.org/W1972544179","https://openalex.org/W1976665040","https://openalex.org/W1985896931","https://openalex.org/W2008550744","https://openalex.org/W2009258497","https://openalex.org/W2010830544","https://openalex.org/W2014515160","https://openalex.org/W2015549359","https://openalex.org/W2020689607","https://openalex.org/W2026926213","https://openalex.org/W2040060046","https://openalex.org/W2053493060","https://openalex.org/W2065135305","https://openalex.org/W2074888021","https://openalex.org/W2077273779","https://openalex.org/W2080869721","https://openalex.org/W2087946839","https://openalex.org/W2096584575","https://openalex.org/W2098074136","https://openalex.org/W2098456636","https://openalex.org/W2103057263","https://openalex.org/W2103778230","https://openalex.org/W2106029456","https://openalex.org/W2107709519","https://openalex.org/W2111900492","https://openalex.org/W2112582249","https://openalex.org/W2121702020","https://openalex.org/W2132478304","https://openalex.org/W2134825350","https://openalex.org/W2136780906","https://openalex.org/W2140697469","https://openalex.org/W2151704521","https://openalex.org/W2153150125","https://openalex.org/W2153342620","https://openalex.org/W2159933174","https://openalex.org/W2160829641","https://openalex.org/W2165751179","https://openalex.org/W2168625647","https://openalex.org/W2174442795","https://openalex.org/W2279657578","https://openalex.org/W2357666213","https://openalex.org/W2517404595","https://openalex.org/W2533393700","https://openalex.org/W2619153025","https://openalex.org/W2619704817","https://openalex.org/W2701082322","https://openalex.org/W2740268627","https://openalex.org/W2761359361","https://openalex.org/W2854021671","https://openalex.org/W2888080919","https://openalex.org/W2898887908","https://openalex.org/W2952311150","https://openalex.org/W2984863199","https://openalex.org/W3023364199","https://openalex.org/W3146215426","https://openalex.org/W3146720657","https://openalex.org/W3149170054","https://openalex.org/W3157542420","https://openalex.org/W3159507367","https://openalex.org/W4234018049","https://openalex.org/W4237706618","https://openalex.org/W4238078684","https://openalex.org/W4241248623","https://openalex.org/W4242272811","https://openalex.org/W4245950452","https://openalex.org/W4246548215","https://openalex.org/W4247064570","https://openalex.org/W4247224463","https://openalex.org/W4253571630","https://openalex.org/W4254006441","https://openalex.org/W4385301323","https://openalex.org/W6604335577","https://openalex.org/W6639248035","https://openalex.org/W6784321032"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Concurrent":[0],"programs":[1,19,30,87],"are":[2,88,146],"pervasive,":[3],"yet":[4],"difficult":[5],"to":[6,21,48,73,109,117,139,148],"write.":[7],"The":[8],"inherent":[9],"complexity":[10],"of":[11,17,36,80,98,121,133,161],"thread":[12,96],"synchronization":[13],"makes":[14],"the":[15,34,38,50,54,118,127,131],"evolution":[16],"concurrent":[18,29,69,83,86,114,143,172],"prone":[20],"concurrency":[22],"faults.":[23],"Previous":[24],"work":[25],"on":[26,32,102,158],"regression":[27,51],"testing":[28,65],"focused":[31],"reducing":[33],"cost":[35,120],"re-run":[37],"existing":[39,42],"tests.":[40],"However,":[41,105],"tests":[43,70,115,144,173],"may":[44],"not":[45],"be":[46],"able":[47],"expose":[49,74,149,175],"faults":[52],"in":[53],"modified":[55],"program.":[56],"In":[57],"this":[58,90],"paper,":[59],"we":[60,106],"present":[61],"Condiff":[62,129,157,168],"a":[63,81,112,159],"differential":[64],"technique":[66],"that":[67,145,167,174],"generates":[68],"and":[71,136],"oracles":[72],"behavioral":[75,150,176],"differences":[76,151],"between":[77],"two":[78],"versions":[79],"given":[82],"class.":[84],"Since":[85],"non-deterministic,":[89],"involves":[91],"exploring":[92],"all":[93],"possible":[94],"non-deterministic":[95],"interleavings":[97],"each":[99],"generated":[100],"test":[101],"both":[103],"versions.":[104],"can":[107,169],"afford":[108],"analyze":[110,140],"only":[111,141],"few":[113],"due":[116],"high":[119],"exhaustive":[122],"interleaving":[123],"exploration.":[124],"To":[125],"address":[126],"challenge,":[128],"leverages":[130],"information":[132],"code":[134],"changes":[135],"trace":[137],"analysis":[138],"those":[142],"likely":[147],"(if":[152],"they":[153],"exist).":[154],"We":[155],"evaluated":[156],"set":[160],"Java":[162],"classes.":[163],"Our":[164],"results":[165],"show":[166],"effectively":[170],"generate":[171],"differences.":[177]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}