{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:09:35Z","timestamp":1759939775123},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/vlsi-soc.2015.7314438","type":"proceedings-article","created":{"date-parts":[[2015,11,2]],"date-time":"2015-11-02T23:01:11Z","timestamp":1446505271000},"source":"Crossref","is-referenced-by-count":22,"title":["On the estimation of assertion interestingness"],"prefix":"10.1109","author":[{"given":"Tara","family":"Ghasempouri","sequence":"first","affiliation":[]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/775047.775053"},{"key":"ref11","article-title":"Interestingness measures for association patterns: A perspective","author":"tan","year":"2000","journal-title":"Proceedings of Workshop on Postprocessing in Machine Learning and Data Mining"},{"key":"ref12","article-title":"Temporal data mining: An overview","author":"antunes","year":"2001","journal-title":"Proc KDD Workshop Temporal Data Mining"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/312129.312219"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8586-4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1898.0007"},{"key":"ref16","first-page":"1","article-title":"Standard for property specification language (PSL)","year":"2012","journal-title":"IEC 62531 2012(E) (IEEE Std 1850–2010)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2015.7314424"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CODES-ISSS.2013.6659015"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2241176"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48153-2_21"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837466"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775908"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781330"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"67","DOI":"10.7873\/DATE.2015.0110","article-title":"Automatic Extraction of Assertions from Execution Traces of Behavioural Models","author":"alessandro danese","year":"2015","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref1","author":"foster","year":"2004","journal-title":"Assertion-Based Design"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1012"}],"event":{"name":"2015 IFIP\/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)","location":"Daejeon, South Korea","start":{"date-parts":[[2015,10,5]]},"end":{"date-parts":[[2015,10,7]]}},"container-title":["2015 IFIP\/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7304349\/7314373\/07314438.pdf?arnumber=7314438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T06:05:11Z","timestamp":1567317911000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7314438\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/vlsi-soc.2015.7314438","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}