{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T19:12:14Z","timestamp":1761937934250,"version":"build-2065373602"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isads.2005.1452016","type":"proceedings-article","created":{"date-parts":[[2005,7,28]],"date-time":"2005-07-28T01:00:20Z","timestamp":1122512420000},"page":"43-50","source":"Crossref","is-referenced-by-count":26,"title":["Developing and assuring trustworthy web services"],"prefix":"10.1109","author":[{"given":"W.T.","family":"Tsai","sequence":"first","affiliation":[]},{"given":"X.","family":"Wei","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Chen","sequence":"additional","affiliation":[]},{"given":"B.","family":"Xiao","sequence":"additional","affiliation":[]},{"given":"R.","family":"Paul","sequence":"additional","affiliation":[]},{"given":"H.","family":"Huang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","article-title":"Condition-event combination covering analysis for high-assurance system requirements","author":"tsai","year":"0","journal-title":"Computer Systems Science & Engineering (CSSE) Journal"},{"key":"15","first-page":"144","article-title":"A software reliability model for web services","author":"tsai","year":"2004","journal-title":"8th IASTED International Conference on Software Engineering and Applications"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30483-8_38"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.2003.1245381"},{"key":"14","article-title":"Rapid pattern-oriented scenario-based testing for embedded systems","author":"tsai","year":"2004","journal-title":"Software Evolution with UML and XML"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2003.1218075"},{"key":"12","first-page":"2130","article-title":"Scenario-based web service testing with distributed agents","volume":"e86 d","author":"tsai","year":"2003","journal-title":"IEICE Transactions on Information and Systems 2003"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.221"},{"journal-title":"Model checking","year":"2002","author":"clarke","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317455"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2002.1173119"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503279"},{"journal-title":"Testing Web Services","year":"2002","author":"davidson","key":"5"},{"journal-title":"Testing Web Services Methods for Ensuring Server and Client Reliability","year":"0","author":"clune","key":"4"},{"key":"9","article-title":"Websight visualizing the execution of web services","author":"de pauw","year":"2004","journal-title":"Workshop on Testing Analysis and Verification of Web Services"},{"journal-title":"Testing for SOAP Interoperability","year":"2002","author":"myerson","key":"8"}],"event":{"name":"Autonomous Decentralized Systems, 2005. ISADS 2005.","location":"Chengdu, Jiuzhaigou, China"},"container-title":["Proceedings Autonomous Decentralized Systems, 2005. ISADS 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9846\/31027\/01452016.pdf?arnumber=1452016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T23:13:00Z","timestamp":1489533180000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1452016\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/isads.2005.1452016","relation":{},"subject":[]}}