{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:31:58Z","timestamp":1729675918701,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/dest.2012.6227913","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T21:37:25Z","timestamp":1341956245000},"page":"1-6","source":"Crossref","is-referenced-by-count":6,"title":["A model-based approach to reliability certification of services"],"prefix":"10.1109","author":[{"given":"Claudio A.","family":"Ardagna","sequence":"first","affiliation":[]},{"given":"Ernesto","family":"Damiani","sequence":"additional","affiliation":[]},{"given":"Ravi","family":"Jhawar","sequence":"additional","affiliation":[]},{"given":"Vincenzo","family":"Piuri","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022308532661"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.08.004"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03274-9_24"},{"key":"14","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1007\/s10270-008-0084-1","article-title":"Model-driven assessment of system dependability","volume":"7","author":"mustafiz","year":"2008","journal-title":"Software and System Modeling"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.31"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SysCon.2012.6189503"},{"key":"3","first-page":"78","article-title":"Service-oriented architectures testing: A survey","volume":"1","author":"canfora","year":"2009","journal-title":"Software Engineering International Summer Schools ISSSE 2006-2008"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-25106-1_10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2011.27"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1201\/9781420031423"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/s102070100009"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-77324-7"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72912-9_12"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.234477"},{"key":"9","article-title":"Towards model-based testing of web services","author":"frantzen","year":"2006","journal-title":"Proceedings of WS-MaTe 2006"},{"journal-title":"Service-Oriented Architecture Concepts Technology and Design","year":"2005","author":"erl","key":"8"}],"event":{"name":"2012 6th IEEE International Conference on Digital Ecosystems and Technologies (DEST) - Complex Environment Engineering","start":{"date-parts":[[2012,6,18]]},"location":"Campione d'Italia, Italy","end":{"date-parts":[[2012,6,20]]}},"container-title":["2012 6th IEEE International Conference on Digital Ecosystems and Technologies (DEST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6222390\/6227884\/06227913.pdf?arnumber=6227913","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T21:11:18Z","timestamp":1497993078000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227913\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/dest.2012.6227913","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}