{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:19:06Z","timestamp":1730276346653,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,3,1]],"date-time":"2020-03-01T00:00:00Z","timestamp":1583020800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.1109\/isqed48828.2020.9137001","type":"proceedings-article","created":{"date-parts":[[2020,7,9]],"date-time":"2020-07-09T20:46:45Z","timestamp":1594327605000},"page":"389-394","source":"Crossref","is-referenced-by-count":4,"title":["Mining Message Flows using Recurrent Neural Networks for System-on-Chip Designs"],"prefix":"10.1109","author":[{"given":"Yuting","family":"Cao","sequence":"first","affiliation":[]},{"given":"Parijat","family":"Mukherjee","sequence":"additional","affiliation":[]},{"given":"Mahesh","family":"Ketkar","sequence":"additional","affiliation":[]},{"given":"Jin","family":"Yang","sequence":"additional","affiliation":[]},{"given":"Hao","family":"Zheng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"607","article-title":"Automatic assertion extraction via sequential data mining of simulation traces","author":"po-hsien","year":"0","journal-title":"2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5009015"},{"key":"ref10","first-page":"613","article-title":"Mining program workflow from interleaved traces","author":"jian-guang","year":"0","journal-title":"Proceedings of the 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining"},{"journal-title":"An introduction to neural computing-aleksander i morton h","year":"1990","author":"hinton","key":"ref6"},{"key":"ref11","first-page":"96","article-title":"Learning temporal specifications from imperfect traces using bayesian inference","author":"artur","year":"0","journal-title":"Proceedings of the 56th Annual Design Automation Conference 2019"},{"key":"ref5","first-page":"1285","article-title":"Deeplog: Anomaly detection and diagnosis from system logs through deep learning","author":"min","year":"0","journal-title":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1145\/2954679.2872407","article-title":"Cloudseer: Workflow monitoring of cloud infrastructures via interleaved logs","volume":"51","author":"xiao","year":"2016","journal-title":"ACM SIGPLAN Notices"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-013-5403-y"},{"key":"ref7","first-page":"106","article-title":"Deep specification mining","author":"tien-duy","year":"0","journal-title":"Proc of ACM SIGSOFT international symposium on Software testing and analysis"},{"key":"ref2","first-page":"267","article-title":"Leveraging existing instrumentation to automatically infer invariant-constrained models","author":"ivan","year":"0","journal-title":"Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering"},{"key":"ref9","first-page":"501","article-title":"Automatic generation of software behavioral models","author":"davide","year":"0","journal-title":"Proceedings of the 30th International Conference on Software Engineering"},{"key":"ref1","first-page":"468","article-title":"Inferring models of concurrent systems from logs of their behavior with csight","author":"ivan","year":"0","journal-title":"Proceedings of the 36th International Conference on Software Engineering"}],"event":{"name":"2020 21st International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2020,3,25]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2020,3,26]]}},"container-title":["2020 21st International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9131689\/9136966\/09137001.pdf?arnumber=9137001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:56:44Z","timestamp":1656453404000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9137001\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/isqed48828.2020.9137001","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}