{"id":"https://openalex.org/W4409496036","doi":"https://doi.org/10.1109/icstw64639.2025.10962525","title":"Unified Search for Multi-requirement Falsification for Cyber-Physical Systems","display_name":"Unified Search for Multi-requirement Falsification for Cyber-Physical Systems","publication_year":2025,"publication_date":"2025-03-31","ids":{"openalex":"https://openalex.org/W4409496036","doi":"https://doi.org/10.1109/icstw64639.2025.10962525"},"language":"en","primary_location":{"id":"doi:10.1109/icstw64639.2025.10962525","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstw64639.2025.10962525","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","raw_type":"proceedings-article"},"type":"article","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/A5092674817","display_name":"Jesper Winsten","orcid":"https://orcid.org/0009-0009-4644-0072"},"institutions":[{"id":"https://openalex.org/I130217899","display_name":"\u00c5bo Akademi University","ror":"https://ror.org/029pk6x14","country_code":"FI","type":"education","lineage":["https://openalex.org/I130217899"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Jesper Winsten","raw_affiliation_strings":["Åbo Akademi University,Information Technology, Faculty of Science and Technology,Turku,Finland"],"affiliations":[{"raw_affiliation_string":"Åbo Akademi University,Information Technology, Faculty of Science and Technology,Turku,Finland","institution_ids":["https://openalex.org/I130217899"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043249778","display_name":"Iv\u00e1n Porres","orcid":"https://orcid.org/0000-0002-6791-2018"},"institutions":[{"id":"https://openalex.org/I130217899","display_name":"\u00c5bo Akademi University","ror":"https://ror.org/029pk6x14","country_code":"FI","type":"education","lineage":["https://openalex.org/I130217899"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Ivan Porres","raw_affiliation_strings":["Åbo Akademi University,Information Technology, Faculty of Science and Technology,Turku,Finland"],"affiliations":[{"raw_affiliation_string":"Åbo Akademi University,Information Technology, Faculty of Science and Technology,Turku,Finland","institution_ids":["https://openalex.org/I130217899"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5092674817"],"corresponding_institution_ids":["https://openalex.org/I130217899"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08237548,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"235","last_page":"243"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.982200026512146,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.982200026512146,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9617999792098999,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9598000049591064,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.7048242688179016},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6915754675865173},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.09597885608673096}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7048242688179016},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6915754675865173},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09597885608673096}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icstw64639.2025.10962525","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icstw64639.2025.10962525","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/03e15bde-bff3-42b3-a8ee-d26219a885ef","is_oa":false,"landing_page_url":"https://research.abo.fi/en/publications/03e15bde-bff3-42b3-a8ee-d26219a885ef","pdf_url":null,"source":{"id":"https://openalex.org/S4406923060","display_name":"\u00c5bo Akademi University Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Winsten, J & Porres, I 2025, Unified Search for Multi-requirement Falsification for Cyber-Physical Systems. in A R Fasolino, S Panichella, A Aleti & A Mesbah (eds), 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025. 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025, IEEE, pp. 235-243, IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 31/03/25. https://doi.org/10.1109/ICSTW64639.2025.10962525","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.550000011920929,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320328501","display_name":"Business Finland","ror":"https://ror.org/05bgf9v38"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1508592466","https://openalex.org/W1533557569","https://openalex.org/W1547304883","https://openalex.org/W2068619069","https://openalex.org/W2153803621","https://openalex.org/W2571592482","https://openalex.org/W3089624132","https://openalex.org/W3172243185","https://openalex.org/W3184919107","https://openalex.org/W3197359847","https://openalex.org/W3204851156","https://openalex.org/W4200359383","https://openalex.org/W4213251304","https://openalex.org/W4224994162","https://openalex.org/W4282549856","https://openalex.org/W4386889431","https://openalex.org/W4387735129","https://openalex.org/W4396571376","https://openalex.org/W4398239293","https://openalex.org/W4402557418","https://openalex.org/W4403289443","https://openalex.org/W4408746057"],"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":{"This":[0],"paper":[1],"addresses":[2],"the":[3,72,77],"challenge":[4],"of":[5,71,105],"efficiently":[6],"falsifying":[7,111],"multiple":[8,67],"requirements":[9,19,39,68],"in":[10],"cyber-physical":[11],"systems":[12],"(CPSs).":[13],"Traditional":[14],"falsification":[15,80],"approaches":[16],"typically":[17],"evaluate":[18,66],"sequentially,":[20],"leading":[21],"to":[22,65,109],"redundant":[23],"computations":[24],"and":[25],"decreased":[26],"efficiency.":[27],"We":[28],"present":[29],"Multi-Requirement":[30],"Unified":[31],"Search":[32],"(MRUS),":[33],"an":[34,50],"algorithm":[35,64,73],"that":[36,89],"evaluates":[37],"all":[38,98],"simultaneously":[40],"using":[41,76],"conjunctive":[42],"Signal":[43],"Temporal":[44],"Logic":[45],"(STL)":[46],"formulas.":[47],"MRUS":[48,90],"combines":[49],"Online":[51],"Generative":[52],"Adversarial":[53],"Network":[54],"(OGAN)":[55],"for":[56],"test":[57],"case":[58],"generation":[59],"with":[60],"a":[61,83,92,102],"unified":[62],"search":[63],"conjunctively.The":[69],"performance":[70],"was":[74],"evaluated":[75],"ARCH-COMP":[78],"2024":[79],"competition":[81],"as":[82],"benchmark":[84],"suite.":[85],"The":[86],"results":[87],"demonstrate":[88],"achieves":[91],"high":[93],"Falsification":[94],"Rate":[95],"(FR)":[96],"across":[97],"benchmarks":[99],"while":[100],"requiring":[101],"small":[103],"number":[104],"total":[106],"execution":[107],"counts":[108],"find":[110],"inputs.":[112]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}