{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:49:43Z","timestamp":1762458583430,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401230"},{"type":"electronic","value":"9783540448303"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44830-6_22","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:56:53Z","timestamp":1184605013000},"page":"295-310","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":14,"title":["Fast Testing of Critical Properties through Passive Testing"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Antonio","family":"Arnedo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana","family":"Cavalli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"22_CR1","unstructured":"J.M. Ayache, P. Azema, and M. Diaz. Observer: A concept for on-line detection of control errors in concurrent systems. In 9th Symposium on Fault-Tolerant Computing, 1979."},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"762","DOI":"10.1145\/359842.359859","volume":"20","author":"R.S. Boyer","year":"1977","unstructured":"R.S. Boyer and J.S. Moore. A fast string searching algorithm. Communications of the ACM, 20: 762\u2013772, 1977.","journal-title":"Communications of the ACM"},{"key":"22_CR3","unstructured":"A. Cavalli, C. Gervy, and S. Prokopenko. New approaches for passive testing using an extended finite state machine specification. In Concordia Prestigious Workshop on Communication Software Engineering, pages 225\u2013250, 2001."},{"issue":"1","key":"22_CR4","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1137\/0206024","volume":"6","author":"D.E. Knuth","year":"1977","unstructured":"D.E. Knuth, J.H. Morris, and V.R. Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6(1):323\u2013350, 1977.","journal-title":"SIAM Journal on Computing"},{"key":"22_CR5","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0164-1212(01)00132-7","volume":"62","author":"R. Lai","year":"2002","unstructured":"R. Lai. A survey of communication protocol testing. Journal of Systems and Software, 62: 21\u201346, 2002.","journal-title":"Journal of Systems and Software"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"D. Lee, D. Chen, R. Hao, R. Miller, J. Wu and X. Yin. A formal approach for passive testing of protocol data portions. In 10th IEEE Int. Conf. on Network Protocols, ICNP\u201902, pages 122\u2013131. IEEE Computer Society Press, 2002.","DOI":"10.1109\/ICNP.2002.1181393"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"D. Lee, A.N. Netravali, K.K. Sabnani, B. Sugla, and A. John. Passive testing and applications to network management. In 5th IEEE Int. Conf. on Network Protocols, ICNP\u201997, pages 113\u2013122. IEEE Computer Society Press, 1997.","DOI":"10.1109\/ICNP.1997.643699"},{"issue":"8","key":"22_CR8","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"D. Lee and M. Yannakakis. Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE, 84(8):1090\u20131123, 1996.","journal-title":"Proceedings of the IEEE"},{"key":"22_CR9","unstructured":"R.E. Miller and K.A. Arisha. Fault coverage in networks by passive testing. In International Conference on Internet Computing 2001, IC\u20192001, pages 413\u2013419. CSREA Press, 2001."},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"R.E. Miller and K.A. Arisha. Fault identification in networks by passive testing. In 34th Simulation Symposium, SS\u201901, pages 277\u2013284. IEEE Computer Society Press, 2001.","DOI":"10.1109\/SIMSYM.2001.922142"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"R.E. Miller. Passive testing of networks using a CFSM specification. In IEEE Int. Performance Computing and Communications Conference, pages 111\u2013116. IEEE Computer Society Press, 1998.","DOI":"10.1109\/PCCC.1998.659924"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1016\/S0950-5849(99)00039-7","volume":"41","author":"M. Tabourier","year":"1999","unstructured":"M. Tabourier and A. Cavalli. Passive testing and application to the GSM-MAP protocol. Journal of Information and Software Technology, 41:813\u2013821, 1999.","journal-title":"Journal of Information and Software Technology"},{"key":"22_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"915","DOI":"10.1007\/3-540-48119-2_50","volume-title":"World Congress on Formal Methods in the Development of Computing Systems, FM\u201999","author":"M. Tabourier","year":"1999","unstructured":"M. Tabourier, A. Cavalli, and M. Ionescu. A GSM-MAP protocol experiment using passive testing. In World Congress on Formal Methods in the Development of Computing Systems, FM\u201999, LNCS 1708, pages 915\u2013934. Springer, 1999."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"J. Wu, Y. Zhao, and X. Yin. From active to passive: Progress in testing of internet routing protocols. In FORTE 2001, pages 101\u2013116. Kluwer Academic Publishers, 2001.","DOI":"10.1007\/0-306-47003-9_7"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44830-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T12:08:18Z","timestamp":1737288498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44830-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401230","9783540448303"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-44830-6_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"24 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}