{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T11:25:07Z","timestamp":1763724307332,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/latw.2014.6841904","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T21:26:12Z","timestamp":1406582772000},"page":"1-6","source":"Crossref","is-referenced-by-count":7,"title":["Simplified stimuli generation for scenario and assertion based verification"],"prefix":"10.1109","author":[{"given":"Luca","family":"Piccolboni","sequence":"first","affiliation":[]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-012-5303-6"},{"year":"2013","key":"17"},{"year":"0","key":"18"},{"key":"15","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/978-3-642-36742-7_7","article-title":"The mathsat5 smt solver","volume":"7795","author":"cimatti","year":"2013","journal-title":"TACAS Ser Lecture Notes in Computer Science"},{"key":"16","article-title":"The SMT-LIB Standard: Version 2. 0","author":"barrett","year":"2010","journal-title":"Proceedings of the 8th International Workshop on Satisfiability Modulo Theories"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380499"},{"year":"0","key":"14"},{"journal-title":"SystemC Verification Library","year":"2012","key":"11"},{"key":"12","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1145\/1228784.1228901","article-title":"Improvements for constraint solving in the Systemc Verification Library","author":"grosse","year":"2007","journal-title":"Proc ACM GLSVLSI"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484754"},{"key":"2","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proc of OSDI"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511626913"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2380445.2380497"},{"journal-title":"Dynamic Assertion-based Verification for SystemC","year":"2010","author":"tabakov","key":"7"},{"key":"6","article-title":"An introduction to scenario testing","author":"kaner","year":"2003","journal-title":"Lecture Notes Center for Software Testing Education and Research"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2012.37"},{"key":"4","first-page":"201","article-title":"EFSMbased model-driven approach to concolic testing of system-level design","author":"di guglielmo","year":"2011","journal-title":"Proc of ACM\/IEEE MEMOCODE"},{"journal-title":"Universal Verification Methodology","year":"2012","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"}],"event":{"name":"2014 15th Latin American Test Workshop - LATW","start":{"date-parts":[[2014,3,12]]},"location":"Fortaleza, Brazil","end":{"date-parts":[[2014,3,15]]}},"container-title":["2014 15th Latin American Test Workshop - LATW"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6831761\/6841893\/06841904.pdf?arnumber=6841904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,15]],"date-time":"2023-07-15T15:09:17Z","timestamp":1689433757000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6841904\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/latw.2014.6841904","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}