{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:49:26Z","timestamp":1729676966794,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1109\/iscc.2009.5202405","type":"proceedings-article","created":{"date-parts":[[2009,8,24]],"date-time":"2009-08-24T15:08:22Z","timestamp":1251126502000},"page":"67-72","source":"Crossref","is-referenced-by-count":2,"title":["Testing robustness of communicating systems using ioco-based approach"],"prefix":"10.1109","author":[{"given":"Antoine","family":"Rollet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastien","family":"Salva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244315"},{"key":"14","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-61042-1_42","article-title":"test generation with inputs, outputs, and quiescence","volume":"1055","author":"tretmans","year":"1996","journal-title":"Lecture Notes in Computer Science"},{"article-title":"protos - systematic approach to eliminate software vulnerabilities","year":"2002","author":"ro?ning","key":"11"},{"year":"0","key":"12"},{"article-title":"techniques avancees de test de systemes complexes: test de robustesse","year":"2003","author":"castanet","key":"3"},{"journal-title":"Ge?ne?ration automatique de tests pour mode?les avec variables ou re?cursivite?","year":"2008","author":"constant","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/12.54853"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086282"},{"journal-title":"International Organization for Standardization Conformance testing methodology and framework part 2 Abstract test suite specification","year":"2004","key":"7"},{"key":"6","first-page":"67","article-title":"frantzen, jan tretmans, and rene de vries. towards model-based testing of web services. in antonia bertolino and andrea polini, editors","author":"lars","year":"2006","journal-title":"Proceedings of International Workshop on WebServices Modeling and Testing (WS-MaTe2006)"},{"year":"0","key":"5"},{"year":"0","key":"4"},{"year":"0","key":"9"},{"year":"0","key":"8"}],"event":{"name":"2009 IEEE Symposium on Computers and Communications (ISCC)","start":{"date-parts":[[2009,7,5]]},"location":"Sousse, Tunisia","end":{"date-parts":[[2009,7,8]]}},"container-title":["2009 IEEE Symposium on Computers and Communications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5179146\/5202209\/05202405.pdf?arnumber=5202405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T23:05:22Z","timestamp":1497827122000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5202405\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iscc.2009.5202405","relation":{},"subject":[],"published":{"date-parts":[[2009,7]]}}}