{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:42:41Z","timestamp":1729662161749,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/vlsisoc.2009.6041346","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T12:40:43Z","timestamp":1318509643000},"page":"153-158","source":"Crossref","is-referenced-by-count":1,"title":["Observability-based coverage-directed path search using PBO for automatic test vector generation"],"prefix":"10.1109","author":[{"given":"Jose C.","family":"Costa","sequence":"first","affiliation":[]},{"given":"Jose C.","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"56","article-title":"Embedded software","volume":"56","author":"lee","year":"2002","journal-title":"Advances in Computers"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2007.33"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.126"},{"journal-title":"Numerical Recipes in C The Art of Scientific Computing","year":"1993","author":"press","key":"ref13"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","article-title":"Evolutionary test environment for automatic structural testing","volume":"43","author":"wegener","year":"2001","journal-title":"Information & Software Technology"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/277044.277078"},{"key":"ref3","first-page":"587","article-title":"computation of the minimal set of paths for observability-based statement coverage","author":"costa","year":"2008","journal-title":"2008 15th International Conference on Mixed Design of Integrated Circuits and Systems MIXDES"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288321"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873666"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045095"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/WWC.2001.990739"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896446"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(01)00336-5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1990.131379"}],"event":{"name":"2009 17th IFIP International Conference on Very Large Scale Integration (VLSI-SoC)","start":{"date-parts":[[2009,10,12]]},"location":"Florianopolis, Brazil","end":{"date-parts":[[2009,10,14]]}},"container-title":["2009 17th IFIP International Conference on Very Large Scale Integration (VLSI-SoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6032031\/6041291\/06041346.pdf?arnumber=6041346","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T03:53:50Z","timestamp":1497930830000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6041346\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/vlsisoc.2009.6041346","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}