{"id":"https://openalex.org/W4408324208","doi":"https://doi.org/10.1109/tcad.2025.3550410","title":"Automated Generation of Benchmarks for Falsification of STL Specifications","display_name":"Automated Generation of Benchmarks for Falsification of STL Specifications","publication_year":2025,"publication_date":"2025-03-11","ids":{"openalex":"https://openalex.org/W4408324208","doi":"https://doi.org/10.1109/tcad.2025.3550410"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2025.3550410","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3550410","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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":null,"display_name":"Yipei Yan","orcid":"https://orcid.org/0009-0008-3904-3119"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Yipei Yan","raw_affiliation_strings":["Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070683475","display_name":"Deyun Lyu","orcid":"https://orcid.org/0000-0003-3017-7977"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Deyun Lyu","raw_affiliation_strings":["Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100684366","display_name":"Zhenya Zhang","orcid":"https://orcid.org/0000-0002-3854-9846"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Zhenya Zhang","raw_affiliation_strings":["Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan","institution_ids":["https://openalex.org/I135598925"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021486887","display_name":"Paolo Arcaini","orcid":"https://orcid.org/0000-0002-6253-4062"},"institutions":[{"id":"https://openalex.org/I184597095","display_name":"National Institute of Informatics","ror":"https://ror.org/04ksd4g47","country_code":"JP","type":"facility","lineage":["https://openalex.org/I1319490839","https://openalex.org/I184597095","https://openalex.org/I4210158934"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Paolo Arcaini","raw_affiliation_strings":["Information Systems Architecture Science Research Division, National Institute of Informatics, Tokyo, Japan","National Institute of Informatics, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"Information Systems Architecture Science Research Division, National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]},{"raw_affiliation_string":"National Institute of Informatics, Tokyo, Japan","institution_ids":["https://openalex.org/I184597095"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065190767","display_name":"Jianjun Zhao","orcid":"https://orcid.org/0000-0001-8083-4352"},"institutions":[{"id":"https://openalex.org/I135598925","display_name":"Kyushu University","ror":"https://ror.org/00p4k0j84","country_code":"JP","type":"education","lineage":["https://openalex.org/I135598925"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Jianjun Zhao","raw_affiliation_strings":["Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan"],"affiliations":[{"raw_affiliation_string":"Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan","institution_ids":["https://openalex.org/I135598925"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I135598925"],"apc_list":null,"apc_paid":null,"fwci":3.0965,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.89073755,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"44","issue":"10","first_page":"4004","last_page":"4017"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13999","display_name":"Digital Rights Management and Security","score":0.9696000218391418,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T13999","display_name":"Digital Rights Management and Security","score":0.9696000218391418,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.5476577877998352},{"id":"https://openalex.org/keywords/engineering-drawing","display_name":"Engineering drawing","score":0.48997464776039124},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4339796006679535},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2649591565132141}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5476577877998352},{"id":"https://openalex.org/C199639397","wikidata":"https://www.wikidata.org/wiki/Q1788588","display_name":"Engineering drawing","level":1,"score":0.48997464776039124},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4339796006679535},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2649591565132141}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2025.3550410","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2025.3550410","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6499999761581421,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1716091338","display_name":null,"funder_award_id":"JPMJMI20B8","funder_id":"https://openalex.org/F4320338243","funder_display_name":"JST-Mirai Program"},{"id":"https://openalex.org/G361424698","display_name":null,"funder_award_id":"JP23K16865","funder_id":"https://openalex.org/F4320320212","funder_display_name":"Japan Society for the Promotion of Science London"},{"id":"https://openalex.org/G4794535329","display_name":null,"funder_award_id":"JP23H03372","funder_id":"https://openalex.org/F4320320212","funder_display_name":"Japan Society for the Promotion of Science London"},{"id":"https://openalex.org/G5697896161","display_name":null,"funder_award_id":"JP23K16865","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6392761602","display_name":null,"funder_award_id":"JP23H03372","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320320212","display_name":"Japan Society for the Promotion of Science London","ror":"https://ror.org/02m7axw05"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320338243","display_name":"JST-Mirai Program","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W187056459","https://openalex.org/W1480909796","https://openalex.org/W1503296932","https://openalex.org/W1968075052","https://openalex.org/W2049399166","https://openalex.org/W2068619069","https://openalex.org/W2071988634","https://openalex.org/W2078924106","https://openalex.org/W2131399618","https://openalex.org/W2134401041","https://openalex.org/W2138428785","https://openalex.org/W2153803621","https://openalex.org/W2156723666","https://openalex.org/W2156843723","https://openalex.org/W2554968732","https://openalex.org/W2622527280","https://openalex.org/W2762550985","https://openalex.org/W2909776947","https://openalex.org/W2963003663","https://openalex.org/W2963231286","https://openalex.org/W2966679149","https://openalex.org/W2982365423","https://openalex.org/W3000408052","https://openalex.org/W3023131782","https://openalex.org/W3091879671","https://openalex.org/W3120924814","https://openalex.org/W3158429528","https://openalex.org/W3162089186","https://openalex.org/W3184919107","https://openalex.org/W3206558114","https://openalex.org/W3212210003","https://openalex.org/W4200324797","https://openalex.org/W4200338900","https://openalex.org/W4214583996","https://openalex.org/W4224994162","https://openalex.org/W4229596932","https://openalex.org/W4282549856","https://openalex.org/W4295850088","https://openalex.org/W4311273067","https://openalex.org/W4367837435","https://openalex.org/W4386889431","https://openalex.org/W4387735129","https://openalex.org/W4388482952","https://openalex.org/W4389719754","https://openalex.org/W4403289443"],"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":{"Falsification,":[0],"whose":[1],"aim":[2],"is":[3,70],"to":[4,106,141],"detect":[5],"unsafe":[6],"behaviors":[7],"of":[8,41,48,145,156,179],"cyber-physical":[9],"systems":[10],"(CPS)":[11],"that":[12,43,83,111],"violate":[13],"signal":[14],"temporal":[15],"logic":[16],"(STL)":[17],"specifications,":[18],"has":[19],"been":[20,32],"actively":[21],"investigated":[22],"in":[23,170,189],"the":[24,34,125,129,134,143,158,171,177],"past":[25],"decade.":[26],"Although":[27],"numerous":[28],"falsification":[29,35,50,66,122,147,160,172],"approaches":[30,123],"have":[31],"proposed,":[33],"community":[36],"suffers":[37],"from":[38],"a":[39,45,85],"shortage":[40],"benchmarks":[42,119,167],"hinders":[44],"thorough":[46],"assessment":[47],"those":[49],"approaches.":[51,148],"In":[52,128],"this":[53,57],"article,":[54],"we":[55,73,90,99,132],"bridge":[56],"gap":[58],"by":[59,137,166],"proposing":[60],"an":[61,108],"automated":[62],"approach":[63,69,181],"for":[64,120],"generating":[65],"benchmarks.":[67],"Our":[68,149],"data-driven:":[71],"first,":[72],"generate":[74],"different":[75,146],"time-variant":[76],"traces":[77,105],"(acting":[78],"as":[79,118],"system":[80,95],"output":[81,104],"traces)":[82],"satisfy":[84],"given":[86,126],"STL":[87],"specification,":[88],"and":[89,103,154,182],"associate":[91],"these":[92,101],"with":[93],"corresponding":[94],"input":[96,102],"traces;":[97],"then,":[98],"use":[100],"train":[107],"LSTM":[109],"model":[110],"generalizes":[112],"them.":[113],"These":[114,174],"models":[115,136,151],"can":[116,183],"serve":[117],"assessing":[121],"against":[124],"specification.":[127],"experimental":[130],"evaluation,":[131],"validate":[133],"generated":[135,150],"measuring":[138],"their":[139],"ability":[140],"differentiate":[142],"performance":[144],"expose":[152],"strengths":[153],"weaknesses":[155],"all":[157],"considered":[159],"approaches,":[161],"which":[162],"was":[163],"not":[164],"achieved":[165],"currently":[168],"used":[169],"community.":[173],"results":[175],"demonstrate":[176],"usefulness":[178],"our":[180],"potentially":[184],"push":[185],"forward":[186],"subsequent":[187],"research":[188],"falsification.":[190]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-10T00:00:00"}