{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:08:19Z","timestamp":1748750899903,"version":"3.41.0"},"reference-count":21,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T00:00:00Z","timestamp":1745366400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T00:00:00Z","timestamp":1745366400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2434247"],"award-info":[{"award-number":["2434247"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,4,23]]},"DOI":"10.1109\/isqed65160.2025.11014455","type":"proceedings-article","created":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T17:43:30Z","timestamp":1748627010000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["AutoFlows: Inferring Message Flows from System Communication Traces"],"prefix":"10.1109","author":[{"given":"Bardia","family":"Nadimi","sequence":"first","affiliation":[{"name":"University of South Florida,Dept. Computer Science and Engineering,Tampa,United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hao","family":"Zheng","sequence":"additional","affiliation":[{"name":"University of South Florida,Dept. Computer Science and Engineering,Tampa,United States"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2017.2735383"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2980093"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1145\/3316781.3317847","article-title":"Learning temporal specifications from imperfect traces using bayesian inference","volume-title":"Proceedings of the 56th Annual Design Automation Conference","author":"Mrowca","year":"2019"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"755","DOI":"10.1145\/1837274.1837466","article-title":"Scalable specification mining for verification and diagnosis","volume-title":"Proceedings of the 47th Design Automation Conference","author":"Li","year":"2010"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2241176"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2015.7314424"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0110"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062206"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2010.5419813"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-013-5403-y"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED51717.2021.9424306"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3179307"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-012-9222-z"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054059"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLA.2011.166"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD53106.2021.00082"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3362598"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(87)90114-1"}],"event":{"name":"2025 26th International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2025,4,23]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2025,4,25]]}},"container-title":["2025 26th International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11014297\/11014302\/11014455.pdf?arnumber=11014455","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:49:37Z","timestamp":1748666977000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11014455\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,23]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/isqed65160.2025.11014455","relation":{},"subject":[],"published":{"date-parts":[[2025,4,23]]}}}