{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T03:38:32Z","timestamp":1725421112390},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/eurocon.2013.6625023","type":"proceedings-article","created":{"date-parts":[[2013,10,17]],"date-time":"2013-10-17T21:48:16Z","timestamp":1382046496000},"page":"467-474","source":"Crossref","is-referenced-by-count":1,"title":["Verification of SimCo — Simulation tool for testing of component-based application"],"prefix":"10.1109","author":[{"given":"Richard","family":"Lipka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomas","family":"Potuzak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Premysl","family":"Brada","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavel","family":"Herout","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23716-4_11"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/BF03160273"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/2043910.2043916"},{"journal-title":"Is System nanoTime() Completely Useless?","year":"2011","author":"anderson","key":"15"},{"key":"16","first-page":"313","article-title":"Analyzing control flow in java bytecode","author":"zhao","year":"1999","journal-title":"Proc 16th Conference of Japan Society for Software Science and Tehcnology"},{"journal-title":"Implement a Continuously Updating High-resolution Timer Provider for Windows","year":"2004","author":"nilsson","key":"13"},{"journal-title":"Inside the Hotspot VM Clocks Timers and Scheduling Events - Part i - Windows","year":"2006","author":"holmes","key":"14"},{"journal-title":"Parallel and Distributed Simulation Systems","year":"2000","author":"fujimoto","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/1216993.1217006"},{"journal-title":"The OSGi Bundle Repository","year":"0","key":"3"},{"journal-title":"Applications","year":"2012","key":"2"},{"journal-title":"Component Software - Beyond Object-Oriented Programming","year":"2000","author":"szyperski","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-1613-1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73547-2_20"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2004.1333354"},{"key":"5","first-page":"1574","article-title":"A framework for testing distributed software components","author":"yao","year":"2005","journal-title":"Proc Annual Canadian Conference on Electrival and Computer Engineering"},{"journal-title":"JUnit in Action","year":"2010","author":"tachiev","key":"4"},{"journal-title":"OSGi Service Platform Core Specification","year":"2009","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS-EERC.2011.41"}],"event":{"name":"IEEE EUROCON 2013","start":{"date-parts":[[2013,7,1]]},"location":"Zagreb, Croatia","end":{"date-parts":[[2013,7,4]]}},"container-title":["Eurocon 2013"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596534\/6624951\/06625023.pdf?arnumber=6625023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T04:15:02Z","timestamp":1490242502000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6625023\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/eurocon.2013.6625023","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]}}}