{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,26]],"date-time":"2022-04-26T16:19:18Z","timestamp":1650989958592},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s11432-014-5068-x","type":"journal-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T00:50:00Z","timestamp":1394153400000},"page":"1-13","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Testing protocols in Internet of Things by a formal passive technique"],"prefix":"10.1007","volume":"57","author":[{"given":"Xiaoping","family":"Che","sequence":"first","affiliation":[]},{"given":"Stephane","family":"Maag","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,6,15]]},"reference":[{"key":"5068_CR1","volume-title":"IETF RFC 6120","author":"P Saint-Andre","year":"2011","unstructured":"Saint-Andre P. Extensible messaging and presence protocol (XMPP): core. IETF RFC 6120. 2011"},{"key":"5068_CR2","first-page":"60","volume-title":"Proceedings of 2012 8th International Conference on Collaborative Computing: Networking, Applications andWorksharing (CollaborateCom)","author":"R Klauck","year":"2012","unstructured":"Klauck R, Kirsche M. Chatty things-making the Internet of Things readily usable for the masses with XMPP. In: Proceedings of 2012 8th International Conference on Collaborative Computing: Networking, Applications andWorksharing (CollaborateCom). Piscataway: IEEE, 2012. 60\u201369"},{"key":"5068_CR3","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1109\/PerComW.2012.6197534","volume-title":"Proceedings of 2012 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)","author":"M Kirsche","year":"2012","unstructured":"Kirsche M, Klauck R. Unify to bridge gaps: bringing XMPP into the Internet of Things. In: Proceedings of 2012 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). Piscataway: IEEE, 2012. 455\u2013458"},{"key":"5068_CR4","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1109\/PerComW.2013.6529522","volume-title":"Proceedings of 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops)","author":"S Bendel","year":"2013","unstructured":"Bendel S, Springer T, Schuster D, et al. A service infrastructure for the Internet of Things based on XMPP. In: Proceedings of 2013 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops). Piscataway: IEEE, 2013. 385\u2013388"},{"key":"5068_CR5","volume-title":"Aalto University Technical Report","author":"M Laine","year":"2012","unstructured":"Laine M, S\u00e4il\u00e4 K. Performance Evaluation of XMPP on the Web. Aalto University Technical Report. 2012"},{"key":"5068_CR6","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1109\/APSEC.2011.58","volume-title":"Proceedings of 2011 18th Asia Pacific Software Engineering Conference","author":"A Shahrokni","year":"2011","unstructured":"Shahrokni A, Feldt R. RobusTest: a framework for automated testing of software robustness. In: Proceedings of 2011 18th Asia Pacific Software Engineering Conference. Piscataway: IEEE, 2011. 171\u2013178"},{"key":"5068_CR7","first-page":"53","volume-title":"Proceedings of 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw","author":"X Che","year":"2012","unstructured":"Che X, Lalanne F, Maag S. A logic-based passive testing approach for the validation of communicating protocols. In: Proceedings of 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, 2012. 53\u201364"},{"key":"5068_CR8","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A Bauer","year":"2011","unstructured":"Bauer A, Leucker M, Schallhart C. Runtime verification for LTL and TLTL. ACM Trans Softw Eng Methodology, 2011, 20: 14","journal-title":"ACM Trans Softw Eng Methodology"},{"key":"5068_CR9","first-page":"85","volume-title":"Beautiful Testing: Leading Professionals Reveal How They Improve Software","author":"R Tron\u00e7on","year":"2009","unstructured":"Tron\u00e7on R. Beautiful XMPP testing. In: Riley T, Goucher A, eds. Beautiful Testing: Leading Professionals Reveal How They Improve Software, 2009. 85\u2013102"},{"key":"5068_CR10","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/1808266.1808281","volume-title":"Proceedings of the 5th Workshop on Automation of Software Test","author":"J Hughes","year":"2010","unstructured":"Hughes J, Norell U, Sautret J. Using temporal relations to specify and test an instant messaging server. In: Proceedings of the 5th Workshop on Automation of Software Test. New York: ACM, 2010. 95\u2013102"},{"key":"5068_CR11","first-page":"176","volume-title":"Proceedings of the 13th IASME\/WSEAS International Conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing","author":"F Lalanne","year":"2011","unstructured":"Lalanne F, Che X, Maag S, et al. Data-centric property formulation for passive testing of communication protocols. In: Proceedings of the 13th IASME\/WSEAS International Conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing. Athens: WSEAS, 2011. 176\u2013181"},{"key":"5068_CR12","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M H Emden van","year":"1976","unstructured":"van Emden M H, Kowalski R A. The semantics of predicate logic as a programming language. J ACM, 1976, 23: 733\u2013742","journal-title":"J ACM"},{"key":"5068_CR13","first-page":"788","volume-title":"IEEE\/ACM Trans Network","author":"F Lalanne","year":"2013","unstructured":"Lalanne F, Maag S. A formal data-centric approach for passive testing of communication protocols. IEEE\/ACM Trans Network, 2013: 788\u2013801"},{"key":"5068_CR14","volume-title":"Proceedings of International Workshop on Network Management and Monitoring, Barcelona","author":"X Che","year":"2013","unstructured":"Che X, Maag S. Passive testing on performance requirements of network protocols. In: Proceedings of International Workshop on Network Management and Monitoring, Barcelona, 2013"},{"key":"5068_CR15","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K R Apt","year":"1982","unstructured":"Apt K R, van Emden M H. Contributions to the theory of logic programming. J ACM, 1982, 29: 841\u2013862","journal-title":"J ACM"},{"key":"5068_CR16","volume-title":"ISO\/IEC 9646-1","author":"ISO.","year":"1994","unstructured":"ISO. Information Technology-Open Systems Interconnection-Conformance Testing Methodology and Framework-Part 1: General Concepts. ISO\/IEC 9646-1. 1994"},{"key":"5068_CR17","first-page":"1","volume-title":"Proceedings of 3rd International Conference on Advanced Communication and Networking","author":"M Shin","year":"2011","unstructured":"Shin M, Park M, Oh D, et al. Clock synchronization for one-way delay measurement: a survey. In: Proceedings of 3rd International Conference on Advanced Communication and Networking. Berlin: Springer, 2011. 1\u201310"},{"key":"5068_CR18","doi-asserted-by":"crossref","first-page":"1482","DOI":"10.1109\/26.103043","volume":"39","author":"D L Mills","year":"1991","unstructured":"Mills D L. Internet time synchronization: the network time protocol. IEEE Trans Commun, 1991, 39: 1482\u20131493","journal-title":"IEEE Trans Commun"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-014-5068-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-014-5068-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-014-5068-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T11:37:56Z","timestamp":1559389076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-014-5068-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":18,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["5068"],"URL":"https:\/\/doi.org\/10.1007\/s11432-014-5068-x","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2]]}}}