{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T21:07:19Z","timestamp":1774472839554,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642346903","type":"print"},{"value":"9783642346910","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34691-0_8","type":"book-chapter","created":{"date-parts":[[2012,11,14]],"date-time":"2012-11-14T09:10:35Z","timestamp":1352884235000},"page":"87-102","source":"Crossref","is-referenced-by-count":2,"title":["Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol"],"prefix":"10.1007","author":[{"given":"Nanxing","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"Viho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Shelby, Z., Hartke, K., Frank, B.: Constrained application protocol (CoAP), draft-ietf-core-coap-08 (2011)"},{"key":"8_CR2","unstructured":"Baire, A., Viho, C., Chen, N.: Long-term challenges in TTCN-3 a prototype to explore new features and concepts. In: ETSI TTCN-3 User Conference and Model Based Testing Workshop Conference (2012)"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-44830-6_22","volume-title":"Testing of Communicating Systems","author":"J.A. Arnedo","year":"2003","unstructured":"Arnedo, J.A., Cavalli, A., N\u00fa\u00f1ez, M.: Fast Testing of Critical Properties through Passive Testing. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 295\u2013310. Springer, Heidelberg (2003)"},{"issue":"10","key":"8_CR4","doi-asserted-by":"publisher","first-page":"2062","DOI":"10.1109\/JSAC.2004.836015","volume":"22","author":"S. Seol","year":"2004","unstructured":"Seol, S., Kim, M., Kang, S., Chanson, S.T.: Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle. IEEE Journal on selected areas in Communications\u00a022(10), 2062\u20132074 (2004)","journal-title":"IEEE Journal on selected areas in Communications"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Zaidi, F., Cavalli, A., Bayse, E.: Network Protocol Interoperability Testing based on Contextual Signatures. In: The 24th Annual ACM Symposium on Applied Computing, SAC 2009 (2009)","DOI":"10.1145\/1529282.1529284"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Lee, D., Netravali, A.N., Sabnani, K.K., Sugla, B., John, A.: Passive testing and applications to network management. In: Int. Conference on Network Protocols, ICNP 1997, pp. 113\u2013122 (1997)","DOI":"10.1109\/ICNP.1997.643699"},{"key":"8_CR7","unstructured":"ISO. Information Technology - Open System Interconnection Conformance Testing, Methodology and Framework, Parts 1-7. International Standard ISO\/IEC 9646\/1-7 (1994)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Sabiguero, A., Baire, A., Boutet, A., Viho, C.: Virtualized Interoperability Testing: Application to IPv6 Network Mobility. In: 18th IFIP\/IEEE Int. Workshop on Distributed Syst.: Operations and Management (2007)","DOI":"10.1007\/978-3-540-75694-1_17"},{"key":"8_CR9","unstructured":"Verhaard, L., Tretmans, J., Kars, P.: Brinksma, Ed.: On asynchronous testing. In: Protocol Test Systems. IFIP Transactions, vol.\u00a0C-11, pp. 55\u201366 (1992)"},{"key":"8_CR10","unstructured":"Fielding, R.T.: Architectural Styles and the Design of Network-based Software Architectures, Doctoral dissertation, University of California (2000)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-540-79707-4_17","volume-title":"Formal Methods for Industrial Critical Systems","author":"A. Desmoulin","year":"2008","unstructured":"Desmoulin, A., Viho, C.: Automatic Interoperability Test Case Generation Based on Formal Definitions. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol.\u00a04916, pp. 234\u2013250. Springer, Heidelberg (2008)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/978-3-642-04694-0_4","volume-title":"Runtime Verification","author":"Y. Falcone","year":"2009","unstructured":"Falcone, Y., Fernandez, J.C., Mounier, L.: Runtime Verification of Safety-Progress Properties. In: Bensalem, S., Peled, D.A. (eds.) RV 2009. LNCS, vol.\u00a05779, pp. 40\u201359. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34691-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T21:19:18Z","timestamp":1745183958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34691-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346903","9783642346910"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34691-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}