{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T18:31:46Z","timestamp":1725388306548},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/date.2009.5090812","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T18:16:39Z","timestamp":1361297799000},"page":"1012-1017","source":"Crossref","is-referenced-by-count":0,"title":["pTest: An adaptive testing tool for concurrent software on embedded multicore processors"],"prefix":"10.1109","author":[{"family":"Shou-Wei Chang","sequence":"first","affiliation":[]},{"family":"Kun-Yuan Hsieh","sequence":"additional","affiliation":[]},{"family":"Jenq Kuen Lee","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"17"},{"doi-asserted-by":"publisher","key":"15","DOI":"10.1109\/MASSP.1986.1165342"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/ICPP.2008.32"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.3115\/1117586.1117594"},{"key":"14","first-page":"175","article-title":"a hidden markov model for predicting transmembrane helices in protein sequences","author":"sonnhammer","year":"1998","journal-title":"Proceedings of the Sixth International Conference on Intelligent Systems for Molecular Biology (ISMB)"},{"key":"11","first-page":"59","article-title":"an empirical study of the robustness of windows nt applications using random testing","author":"forrester","year":"2000","journal-title":"Proceedings of the 4th conference on USENIX Windows Systems Symposium"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1109\/TAIC.PART.2007.20"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1002\/cpe.654"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1145\/1176254.1176307"},{"year":"0","journal-title":"OMAP5912 Application Processor","key":"1"},{"year":"1999","author":"binder","journal-title":"Testing Object-Oriented Systems Models Patterns and Tools","key":"10"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/TPAMI.2005.147"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1145\/1401827.1401833"},{"year":"2000","author":"clarke","journal-title":"Model checking","key":"5"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1145\/1375581.1375625"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1007\/s11265-007-0060-y"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/TPAMI.2005.147"}],"event":{"name":"2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09)","start":{"date-parts":[[2009,4,20]]},"location":"Nice","end":{"date-parts":[[2009,4,24]]}},"container-title":["2009 Design, Automation & Test in Europe Conference & Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4926138\/5090609\/05090812.pdf?arnumber=5090812","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T04:50:02Z","timestamp":1489812602000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5090812\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/date.2009.5090812","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}