{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T23:15:34Z","timestamp":1776813334142,"version":"3.51.2"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,1]]},"DOI":"10.1109\/aspdac.2017.7858327","type":"proceedings-article","created":{"date-parts":[[2017,2,20]],"date-time":"2017-02-20T21:36:54Z","timestamp":1487626614000},"page":"244-250","source":"Crossref","is-referenced-by-count":23,"title":["Property mining using dynamic dependency graphs"],"prefix":"10.1109","author":[{"given":"Jan","family":"Malburg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tino","family":"Flenker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gorschwin","family":"Fey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2004.1337670"},{"key":"ref10","first-page":"263","article-title":"CUTE: A concolic unit testing engine for c","author":"sen","year":"2005","journal-title":"European Software Engineering Conference"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453150"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085135"},{"key":"ref5","first-page":"229","article-title":"Automatic generation of program specifications","author":"nimmer","year":"2002","journal-title":"ACM SIGSOFT International Symposium on Software Testing and Analysis"},{"key":"ref12","first-page":"1","article-title":"IEEE Standard for System Verilog-Unified Hardware Design, Specification, and Verification Language","year":"2013","journal-title":"IEEE Std 1800–2012 (Revision of IEEE Std 1800–2009)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484908"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457129"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1998.730569"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2013995"},{"key":"ref1","article-title":"2011 Overall Roadmap Technology Characteristics (ORTC) Tables","year":"2011","journal-title":"International Technology Roadmap for Semiconductors Tech Rep"}],"event":{"name":"2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC)","location":"Chiba, Japan","start":{"date-parts":[[2017,1,16]]},"end":{"date-parts":[[2017,1,19]]}},"container-title":["2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7847727\/7858249\/07858327.pdf?arnumber=7858327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T20:36:49Z","timestamp":1513197409000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7858327\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2017.7858327","relation":{},"subject":[],"published":{"date-parts":[[2017,1]]}}}