{"id":"https://openalex.org/W4407557571","doi":"https://doi.org/10.1007/s10270-025-01271-8","title":"Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems","display_name":"Defining and generating multi-level and uncertainty-wise test oracles for cyber-physical systems","publication_year":2025,"publication_date":"2025-02-14","ids":{"openalex":"https://openalex.org/W4407557571","doi":"https://doi.org/10.1007/s10270-025-01271-8"},"language":"en","primary_location":{"id":"doi:10.1007/s10270-025-01271-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-025-01271-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01271-8.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01271-8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050340889","display_name":"Pablo Valle","orcid":"https://orcid.org/0000-0002-0588-316X"},"institutions":[{"id":"https://openalex.org/I162361429","display_name":"Mondragon Unibertsitatea","ror":"https://ror.org/00wvqgd19","country_code":"ES","type":"education","lineage":["https://openalex.org/I162361429"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Pablo Valle","raw_affiliation_strings":["Mondragon University, Mondragon, Gipuzkoa, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mondragon University, Mondragon, Gipuzkoa, Spain","institution_ids":["https://openalex.org/I162361429"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079122801","display_name":"Aitor Arrieta","orcid":"https://orcid.org/0000-0001-7507-5080"},"institutions":[{"id":"https://openalex.org/I162361429","display_name":"Mondragon Unibertsitatea","ror":"https://ror.org/00wvqgd19","country_code":"ES","type":"education","lineage":["https://openalex.org/I162361429"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Aitor Arrieta","raw_affiliation_strings":["Mondragon University, Mondragon, Gipuzkoa, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Mondragon University, Mondragon, Gipuzkoa, Spain","institution_ids":["https://openalex.org/I162361429"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090306459","display_name":"Liping Han","orcid":"https://orcid.org/0000-0002-1676-8263"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Liping Han","raw_affiliation_strings":["Simula Research Laboratory, Oslo, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Simula Research Laboratory, Oslo, Norway","institution_ids":["https://openalex.org/I2799829267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076142098","display_name":"Shaukat Ali","orcid":"https://orcid.org/0000-0002-9979-3519"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Shaukat Ali","raw_affiliation_strings":["Simula Research Laboratory, Oslo, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Simula Research Laboratory, Oslo, Norway","institution_ids":["https://openalex.org/I2799829267"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5058828089","display_name":"Tao Yue","orcid":"https://orcid.org/0000-0003-3262-5577"},"institutions":[{"id":"https://openalex.org/I2799829267","display_name":"Simula Research Laboratory","ror":"https://ror.org/00vn06n10","country_code":"NO","type":"facility","lineage":["https://openalex.org/I2799829267"]}],"countries":["NO"],"is_corresponding":false,"raw_author_name":"Tao Yue","raw_affiliation_strings":["Simula Research Laboratory, Oslo, Norway"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Simula Research Laboratory, Oslo, Norway","institution_ids":["https://openalex.org/I2799829267"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5050340889"],"corresponding_institution_ids":["https://openalex.org/I162361429"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":5.2541,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.94918839,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":91,"max":99},"biblio":{"volume":"24","issue":"3","first_page":"679","last_page":"704"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/cyber-physical-system","display_name":"Cyber-physical system","score":0.8414668440818787},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.5771411657333374},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5253243446350098}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.8414668440818787},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.5771411657333374},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5253243446350098},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10270-025-01271-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-025-01271-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01271-8.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},{"id":"pmh:oai:ebiltegia.mondragon.edu:20.500.11984/14213","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11984/14213","pdf_url":null,"source":{"id":"https://openalex.org/S4377196532","display_name":"eRepository Mondragon University (Mondragon University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162361429","host_organization_name":"Mondragon Unibertsitatea","host_organization_lineage":["https://openalex.org/I162361429"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Software and Systems Modeling","raw_type":null}],"best_oa_location":{"id":"doi:10.1007/s10270-025-01271-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10270-025-01271-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10270-025-01271-8.pdf","source":{"id":"https://openalex.org/S64245694","display_name":"Software & Systems Modeling","issn_l":"1619-1366","issn":["1619-1366","1619-1374"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software and Systems Modeling","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2262748287","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3681454997","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4033406476","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320321705","funder_display_name":"Eusko Jaurlaritza"},{"id":"https://openalex.org/G4042783231","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G464105488","display_name":null,"funder_award_id":"PID2023","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5635532810","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G5908284857","display_name":null,"funder_award_id":"IT1519-22","funder_id":"https://openalex.org/F4320321705","funder_display_name":"Eusko Jaurlaritza"},{"id":"https://openalex.org/G5943232429","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320321705","funder_display_name":"Eusko Jaurlaritza"},{"id":"https://openalex.org/G618050618","display_name":null,"funder_award_id":"PID2023-152979OA-I00","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G6787853612","display_name":null,"funder_award_id":"286898","funder_id":"https://openalex.org/F4320323299","funder_display_name":"Norges Forskningsr\u00e5d"},{"id":"https://openalex.org/G7266728691","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7618819006","display_name":null,"funder_award_id":"871319","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G7842005466","display_name":null,"funder_award_id":"Horizon 2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8317514390","display_name":null,"funder_award_id":"871319","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8497050386","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"},{"id":"https://openalex.org/G8516412140","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320315062","funder_display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades"}],"funders":[{"id":"https://openalex.org/F4320315062","display_name":"Ministerio de Ciencia, Innovaci\u00f3n y Universidades","ror":null},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321705","display_name":"Eusko Jaurlaritza","ror":"https://ror.org/00pz2fp31"},{"id":"https://openalex.org/F4320323299","display_name":"Norges Forskningsr\u00e5d","ror":"https://ror.org/00epmv149"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4407557571.pdf","grobid_xml":"https://content.openalex.org/works/W4407557571.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W2077099824","https://openalex.org/W2187041056","https://openalex.org/W2301635198","https://openalex.org/W2492835449","https://openalex.org/W2736727838","https://openalex.org/W2885490357","https://openalex.org/W2885889982","https://openalex.org/W2894135468","https://openalex.org/W2900774402","https://openalex.org/W2947009754","https://openalex.org/W2963657083","https://openalex.org/W2966914448","https://openalex.org/W2967844381","https://openalex.org/W2970089253","https://openalex.org/W2990661835","https://openalex.org/W3047097081","https://openalex.org/W3088182729","https://openalex.org/W3089624132","https://openalex.org/W3092311360","https://openalex.org/W3092626702","https://openalex.org/W3099897542","https://openalex.org/W3110951317","https://openalex.org/W3113301275","https://openalex.org/W3115878638","https://openalex.org/W3129909561","https://openalex.org/W3161324927","https://openalex.org/W3175026797","https://openalex.org/W3193505628","https://openalex.org/W4286331415","https://openalex.org/W4309563112","https://openalex.org/W4311411307","https://openalex.org/W4320005455","https://openalex.org/W4378768596","https://openalex.org/W4378907030","https://openalex.org/W6603719298"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W3004173571","https://openalex.org/W2390279801","https://openalex.org/W3019776739","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2546638913"],"abstract_inverted_index":{"Abstract":[0],"Cyber-physical":[1],"systems":[2,192,213],"(CPSs)":[3],"blend":[4],"digital":[5],"and":[6,72,115,139,161,193],"physical":[7],"processes.":[8],"CPS":[9,80],"software":[10,19,70,73,106],"is":[11,64,81,87,175,219],"the":[12,30,103,120,156,170,209],"key":[13,66],"to":[14,21,23,49,110,128,132,154,221,225,240],"realizing":[15],"their":[16,136],"functionalities.":[17],"This":[18],"needs":[20],"evolve":[22],"deal":[24],"with":[25,177,187],"different":[26,229],"aspects,":[27],"such":[28,134],"as":[29,45,83,135],"implementation":[31],"of":[32,39,68,105,122,158,208,211],"new":[33],"functionalities":[34],"or":[35],"bug":[36],"fixes.":[37],"Because":[38],"this,":[40],"design\u2013operation":[41],"methods,":[42],"colloquially":[43],"known":[44],"\u201cDevOps,\u201d":[46],"are":[47],"paramount":[48],"be":[50,226,241],"adopted":[51,242],"within":[52,232],"these":[53,212],"systems.":[54],"During":[55],"DevOps":[56,123,179],"phases,":[57],"automating":[58],"test":[59,92,117,159,172,215,230],"execution":[60],"at":[61,85,228],"design":[62],"time":[63],"a":[65,79,150,167,178,223],"enabler":[67],"streamlined":[69],"development":[71],"quality":[74],"improvement.":[75],"Likewise,":[76],"monitoring":[77],"whether":[78],"behaving":[82],"expected":[84],"operation":[86],"similarly":[88],"important.":[89],"In":[90],"DevOps,":[91],"oracles":[93,118,160],"play":[94],"an":[95,162],"important":[96],"role":[97],"in":[98,119,125,145,243],"enabling":[99],"automated":[100,163],"testing,":[101],"ensuring":[102],"reliability":[104],"deployments,":[107],"providing":[108],"feedback":[109],"developers,":[111],"etc.":[112],"However,":[113],"defining":[114],"generating":[116,166],"context":[121],"practices":[124],"CPSs":[126],"need":[127],"accommodate":[129],"aspects":[130],"specific":[131],"CPSs,":[133],"time-continuous":[137],"behavior":[138],"inherent":[140],"uncertainties.":[141],"To":[142],"this":[143,146],"end,":[144],"paper,":[147],"we":[148],"propose":[149],"domain-specific":[151],"language":[152],"(DSL)":[153],"ease":[155],"definition":[157],"solution":[164],"for":[165,181],"microservice":[168,224],"encapsulating":[169],"defined":[171],"oracles,":[173],"which":[174],"compatible":[176],"ecosystem":[180],"CPSs.":[182,196],"We":[183],"evaluated":[184],"our":[185,202],"DSL":[186,203],"two":[188],"industrial":[189],"case":[190],"study":[191],"9":[194],"open-source":[195],"Our":[197],"evaluation":[198],"results":[199],"suggest":[200],"that":[201],"can":[204],"model":[205],"around":[206],"98%":[207],"requirements":[210],"through":[214],"oracles.":[216],"Furthermore,":[217],"it":[218],"possible":[220],"generate":[222],"applicable":[227],"levels":[231],"less":[233],"than":[234],"20":[235],"min,":[236],"being":[237],"fast":[238],"enough":[239],"practice.":[244]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-27T08:22:11.395708","created_date":"2025-10-10T00:00:00"}