{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:05:01Z","timestamp":1730221501481,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/ewdts.2018.8524850","type":"proceedings-article","created":{"date-parts":[[2018,11,8]],"date-time":"2018-11-08T18:21:03Z","timestamp":1541701263000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Checking Robustness of Web Services Based on the Parallel Composition of Partial Timed Finite State Machines"],"prefix":"10.1109","author":[{"given":"Ekaterina","family":"Shirokova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68759-9"},{"key":"ref11","first-page":"73","article-title":"Parallel composition of nondeterministic finite state machines with timeouts","volume":"2","author":"kondratyeva","year":"2014","journal-title":"Tomsk State Univ J Control Comp Sci"},{"journal-title":"Timed FSM strategy for optimizing web service compositions w r t the quality and safety issues","year":"2015","author":"kondratyeva","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3103\/S0146411617070094"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"25","DOI":"10.15514\/ISPRAS-2018-30(1)-2","article-title":"On the possibilities of FSM description of parallel composition of timed Finite State Machines","volume":"30","author":"tvardovskii","year":"2018","journal-title":"Trudy ISP RAN\/Proc ISP RAS"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.02.005"},{"journal-title":"IEEE_STD610_12–1990 _ Glossary of Software Engineering Terminology","year":"0","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s13174-012-0062-2"},{"journal-title":"Passive approach for robustness testing of communication protocols","year":"0","author":"martins","key":"ref5"},{"key":"ref8","first-page":"339","article-title":"Testing robustness of web services based on composition of finite state machines","volume":"55","author":"darusenkova","year":"2012","journal-title":"Proceedings of the Higher Educational Institutions Physics"},{"key":"ref7","first-page":"121","article-title":"Testing w.r.t. robustness of multiagent systems based on Finite State Machine model","author":"nikitin","year":"2011","journal-title":"proceedings on 7th and 8th conference of student's research incubator"},{"key":"ref2","first-page":"25","article-title":"Automated Robustness Testing of Web Services","author":"martin","year":"2006","journal-title":"Proc of the 4th Int'l Workshop on SOA and Web Services Best Practices"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1367497.1367605"},{"key":"ref9","article-title":"Towards parallel composition of partial finite state machines: checking safety property step-by-step","author":"darusenkova","year":"2016","journal-title":"Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08)"}],"event":{"name":"2018 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2018,9,14]]},"location":"Kazan","end":{"date-parts":[[2018,9,17]]}},"container-title":["2018 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8502702\/8524135\/08524850.pdf?arnumber=8524850","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,3]],"date-time":"2018-12-03T19:21:37Z","timestamp":1543864897000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8524850\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2018.8524850","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}