{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T05:19:03Z","timestamp":1769577543466,"version":"3.49.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/dsnw.2013.6615518","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T22:32:25Z","timestamp":1380753145000},"page":"1-4","source":"Crossref","is-referenced-by-count":3,"title":["A framework for runtime V&V in business-critical Service Oriented Architectures"],"prefix":"10.1109","author":[{"given":"Cristiana","family":"Areias","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2013.28"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2011.23"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2011.18"},{"key":"15","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1007\/978-3-540-95888-8_4","article-title":"Service-oriented architectures testing: A survey","author":"canfora","year":"2009","journal-title":"Softw Eng"},{"key":"16","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/978-3-540-73551-9_18","article-title":"A framework for contract-based collaborative verification and validation of web services","author":"bai","year":"2007","journal-title":"Component-Based Software"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"14","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","article-title":"Rule-based runtime verification","author":"barringer","year":"2004","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/BF02136828"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/356876.356879"},{"key":"3","author":"erl","year":"2005","journal-title":"Service-Oriented Architecture Concepts Technology and Design"},{"key":"2","author":"sommerville","year":"2011","journal-title":"Software Engineering 9th Ed"},{"key":"1","author":"abran","year":"2004","journal-title":"Guide to the Software Engineering Body of Knowledge SWEBOK"},{"key":"10","author":"banks","year":"1998","journal-title":"Handbook of Simulation Principles Methodology Advances Applications and Practice"},{"key":"7","first-page":"168","author":"lockhart","year":"1997","journal-title":"Software Verification and Validation A Practitioner's Guide"},{"key":"6","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/TAICPART.2009.16","article-title":"Runtime integration and testing for highly dynamic service oriented ict solutions-an industry challenges report","author":"greiler","year":"2009","journal-title":"Testing Academic and Industrial Conference-Practice and Research Techniques 2009 TAIC PART '09"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s00778-007-0044-3"},{"key":"4","author":"keen","year":"2004","journal-title":"Patterns Implementing an SOA Using an Enterprise Service Bus"},{"key":"9","author":"myers","year":"2004","journal-title":"The Art of Software Testing 2nd Ed"},{"key":"8","year":"2012","journal-title":"IEEE Standard for System and Software Verification and Validation"}],"event":{"name":"2013 43rd Annual IEEE\/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)","location":"Budapest, Hungary","start":{"date-parts":[[2013,6,24]]},"end":{"date-parts":[[2013,6,27]]}},"container-title":["2013 43rd Annual IEEE\/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6597028\/6615495\/06615518.pdf?arnumber=6615518","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T16:15:31Z","timestamp":1564330531000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6615518\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/dsnw.2013.6615518","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}