{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T15:20:05Z","timestamp":1774365605357,"version":"3.50.1"},"reference-count":53,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000646","name":"Japan Society for the Promotion of Science (JSPS) KAKENHI","doi-asserted-by":"publisher","award":["JP23H03372"],"award-info":[{"award-number":["JP23H03372"]}],"id":[{"id":"10.13039\/501100000646","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000646","name":"Japan Society for the Promotion of Science (JSPS) KAKENHI","doi-asserted-by":"publisher","award":["JP23K16865"],"award-info":[{"award-number":["JP23K16865"]}],"id":[{"id":"10.13039\/501100000646","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Engineerable AI Techniques for Practical Applications of High-Quality Machine Learning-Based Systems Project, JST-Mirai","award":["JPMJMI20B8"],"award-info":[{"award-number":["JPMJMI20B8"]}]},{"name":"Japan Society for the Promotion of Science (JSPS) KAKENHI","award":["JP23H03372"],"award-info":[{"award-number":["JP23H03372"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2025,10]]},"DOI":"10.1109\/tcad.2025.3550410","type":"journal-article","created":{"date-parts":[[2025,3,11]],"date-time":"2025-03-11T13:38:46Z","timestamp":1741700326000},"page":"4004-4017","source":"Crossref","is-referenced-by-count":2,"title":["Automated Generation of Benchmarks for Falsification of STL Specifications"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-3904-3119","authenticated-orcid":false,"given":"Yipei","family":"Yan","sequence":"first","affiliation":[{"name":"Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3017-7977","authenticated-orcid":false,"given":"Deyun","family":"Lyu","sequence":"additional","affiliation":[{"name":"Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3854-9846","authenticated-orcid":false,"given":"Zhenya","family":"Zhang","sequence":"additional","affiliation":[{"name":"Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6253-4062","authenticated-orcid":false,"given":"Paolo","family":"Arcaini","sequence":"additional","affiliation":[{"name":"Information Systems Architecture Science Research Division, National Institute of Informatics, Tokyo, Japan"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8083-4352","authenticated-orcid":false,"given":"Jianjun","family":"Zhao","sequence":"additional","affiliation":[{"name":"Graduate School and Faculty of Information Science and Electrical Engineering, Kyushu University, Fukuoka, Japan"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1.12716"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.29007\/hgfv"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.29007\/6nqs"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.29007\/fhnk"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.29007\/xwl1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28423-7_3"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3501710.3519521"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00013"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref11","first-page":"372","article-title":"Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification","volume-title":"Proc. ACM\/IEEE 42nd Int. Conf. Softw. Eng.","author":"Menghi"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858463"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382193"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW55395.2022.00018"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2628055"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3135932.3135941"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASE56229.2023.00208"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2018.00038"},{"key":"ref21","volume-title":"Supplementary material for the paper \u201cAutomated generation of benchmarks for falsification of STL specifications","author":"Yan","year":"2024"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3463274.3463361"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2668930.2688819"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201189"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111736"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2110147.2110155"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23960-1_45"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858726"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2017.6"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111920"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1102256.1102262"},{"key":"ref32","article-title":"G2SAT: Learning to generate SAT formulas","volume-title":"Advances in Neural Information Processing Systems","volume":"32","author":"You","year":"2019"},{"key":"ref33","first-page":"1","article-title":"Synthetic benchmarks for scientific research in explainable machine learning","volume-title":"Proc. Neural Inf. Process. Syst. Track Datasets Benchmarks","author":"Liu"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3463274.3463806"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2022.104957"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3049917"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311814"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/3510457.3513049"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2017.7863731"},{"key":"ref40","first-page":"1","article-title":"COLA-Gen: Active learning techniques for automatic code generation of benchmarks","volume-title":"Proc. 13th Workshop Parallel Program. Run-Time Manage. Techn. Many-Core Archit. 11th Workshop Design Tools Archit. Multicore Embed. Comput. Platforms (PARMA-DITAM)","author":"Berezov"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD51958.2021.9643566"},{"key":"ref42","article-title":"Efficacy of synthetic data as a benchmark","author":"Maheshwari","year":"2024","journal-title":"arXiv:2409.11968"},{"key":"ref43","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"Baier","year":"2008"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2005.1554902"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/Allerton.2012.6483411"},{"key":"ref46","first-page":"1","article-title":"Foundations for innovation in cyber-physical systems","volume-title":"Proc. NIST CPS Workshop","author":"Sunder"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30281-8_10"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_29"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3624745"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2480741.2480752"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985795"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.29007\/f4vs"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/43\/11155107\/10922764.pdf?arnumber=10922764","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T18:43:23Z","timestamp":1763750603000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10922764\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10]]},"references-count":53,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2025.3550410","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10]]}}}