{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:10:02Z","timestamp":1748751002661,"version":"3.41.0"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319259444"},{"type":"electronic","value":"9783319259451"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25945-1_7","type":"book-chapter","created":{"date-parts":[[2015,11,7]],"date-time":"2015-11-07T03:20:37Z","timestamp":1446866437000},"page":"105-123","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Guiding Testers\u2019 Hands in Monitoring Tools: Application of Testing Approaches on SIP"],"prefix":"10.1007","author":[{"given":"Xiaoping","family":"Che","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Maag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huu Nghia","family":"Nguyen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fatiha","family":"Za\u00efdi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"7_CR1","unstructured":"ISO\/IEC 9646-1: Information technology - open systems interconnection - conformance testing methodology and framework - part 1: General concepts. Technical report, ISO, January 1994"},{"key":"7_CR2","volume-title":"Datalog and Recursion","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Datalog and Recursion, 2nd edn. Addison-Wesley, Reading (1995)","edition":"2"},{"key":"7_CR3","unstructured":"Open Mobile Alliance: Internet messaging and presence service features and functions. Technical report, OMA (2005)"},{"key":"7_CR4","unstructured":"Open Mobile Alliance: Push to talk over cellular requirements. Technical report, OMA (2006)"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K Apt","year":"1982","unstructured":"Apt, K., Van Emden, M.: Contributions to the theory of logic programming. J. ACM (JACM) 29(3), 841\u2013862 (1982)","journal-title":"J. ACM (JACM)"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Camacho-Magrinan, M.A., Merayo, M.G., Medina-Bulo, I.: PTTAC: passive testing tool for asynchronous systems. In: Proceedings of SITIS, pp. 223\u2013229 (2014)","DOI":"10.1109\/SITIS.2014.83"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Cao, T.D., Phan-Quang, T.T., F\u00e9lix, P., Castanet, R.: Automated runtime verification for web services. In: Proceedings of ICWS, pp. 76\u201382 (2010)","DOI":"10.1109\/ICWS.2010.19"},{"key":"7_CR8","unstructured":"Che, X., Maag, S., Nguyen, H.N., Za\u00efdi, F.: Guiding testers\u2019 hands in monitoring tools\/appendix: expression equivalence of the two approaches. Technical report RR15001-RS2M, Institut Mines-Telecom\/Telecom SudParis, August 2015"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Cuppens, F., Cuppens-Boulahia, N., Sans, T.: Nomad: a security model with non atomic actions and deadlines. In: Proceedings of CSFW, pp. 186\u2013196 (2005)","DOI":"10.1109\/CSFW.2005.20"},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"MV Emden","year":"1976","unstructured":"Emden, M.V., Kowalski, R.: The semantics of predicate logic as a programming language. J. ACM 23(4), 733\u2013742 (1976)","journal-title":"J. ACM"},{"key":"7_CR11","unstructured":"ETSI\/ES 201 873\u20131: Methods for testing and specification (MTS); the testing and test control notation version 3; part 1: TTCN-3 core language, v3.2.1. Technical report, ETSI (2007)"},{"key":"7_CR12","unstructured":"European Telecommunications Standards Institute\/ETSI TS 134 123\u20133: Universal mobile telecommunications system (UMTS); user equipment (UE) conformance specification; part 3: abstract test suite (ATS). Technical report, ETSI, June 2013"},{"key":"7_CR13","unstructured":"Hewlett-Packard: SIPp (2004). http:\/\/sipp.sourceforge.net\/"},{"issue":"2","key":"7_CR14","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1145\/1459352.1459354","volume":"41","author":"RM Hierons","year":"2009","unstructured":"Hierons, R.M., Krause, P., Luttgen, G., Simons, A.J.H.: Using formal specifications to support testing. ACM Comput. Surv. 41(2), 176 (2009)","journal-title":"ACM Comput. Surv."},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-38592-6_8","volume-title":"Formal Techniques for Distributed Systems","author":"RM Hierons","year":"2013","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Passive testing with asynchronous communications. In: Beyer, D., Boreale, M. (eds.) FORTE 2013 and FMOODS 2013. LNCS, vol. 7892, pp. 99\u2013113. Springer, Heidelberg (2013)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Knauss, E., Damian, D.: V:Issue:lizer: exploring requirements clarification in online communication over time. In: Proceedings of ICSE, pp. 1327\u20131330 (2013)","DOI":"10.1109\/ICSE.2013.6606709"},{"issue":"3","key":"7_CR17","doi-asserted-by":"publisher","first-page":"788","DOI":"10.1109\/TNET.2012.2210443","volume":"21","author":"F Lalanne","year":"2013","unstructured":"Lalanne, F., Maag, S.: A formal data-centric approach for passive testing of communication protocols. IEEE\/ACM Trans. Netw. 21(3), 788\u2013801 (2013)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Lalanne, F., Maag, S., de Oca, E.M., Cavalli, A.R., Mallouli, W., Gonguet, A.: An automated passive testing approach for the IMS PoC service. In: Proceedings of ASE, pp. 535\u2013539 (2009)","DOI":"10.1109\/ASE.2009.33"},{"issue":"5","key":"7_CR19","doi-asserted-by":"publisher","first-page":"545","DOI":"10.14778\/2735479.2735487","volume":"8","author":"A Lazerson","year":"2015","unstructured":"Lazerson, A., et al.: Monitoring distributed streams using convex decompositions. VLDB Endow. 8(5), 545\u2013556 (2015)","journal-title":"VLDB Endow."},{"issue":"2","key":"7_CR20","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/TNET.2006.872572","volume":"14","author":"D Lee","year":"2006","unstructured":"Lee, D., Miller, R.: Network protocol system monitoring - a formal approach with passive testing. IEEE\/ACM Trans. Netw. 14(2), 424\u2013437 (2006)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"7_CR21","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: Proceedings of ICNP, pp. 113\u2013119 (1997)","DOI":"10.1109\/ICNP.1997.643699"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Li, Z., Jin, Y., Han, J.: A runtime monitoring and validation framework for web service interactions. In: Proceedings of ASWEC, pp. 70\u201379 (2006)","DOI":"10.1109\/ASWEC.2006.6"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Lopez, J., Maag, S., Morales, G.: Behavior evaluation for trust management based on formal distributed network monitoring. World Wide Web 1\u201319 (2015)","DOI":"10.1007\/s11280-015-0324-6"},{"key":"7_CR24","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/j.infsof.2015.03.009","volume":"64","author":"MG Merayo","year":"2015","unstructured":"Merayo, M.G., N\u00fa\u00f1ez, A.: Passive testing of communicating systems with timeouts. Inf. Softw. Technol. 64, 19\u201335 (2015)","journal-title":"Inf. Softw. Technol."},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Miller, R.: Passive testing of networks using a CFSM specification. In: Proceedings of IPCCC, pp. 111\u2013116 (1998)","DOI":"10.1109\/PCCC.1998.659924"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Morales, G., Maag, S., Cavalli, A.R., Mallouli, W., de Oca, E.M., Wehbi, B.: Timed extended invariants for the passive testing of web services. In: Proceedings of ICWS, pp. 592\u2013599 (2010)","DOI":"10.1109\/ICWS.2010.17"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"Nguyen, H.N., Poizat, P., Za\u00efdi, F.: Online verification of value-passing choreographies through property-oriented passive testing. In: Proceedings of HASE, pp. 106\u2013113 (2012)","DOI":"10.1109\/HASE.2012.15"},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: SIP: session initiation protocol (2002)","DOI":"10.17487\/rfc3261"},{"key":"7_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-540-73066-8_23","volume-title":"Testing of Software and Communicating Systems","author":"H Ural","year":"2007","unstructured":"Ural, H., Xu, Z.: An EFSM-based passive fault detection approach. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom\/FATES 2007. LNCS, vol. 4581, pp. 335\u2013350. Springer, Heidelberg (2007)"},{"key":"7_CR30","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22, 297\u2013312 (2012)","journal-title":"Softw. Test. Verification Reliab."},{"key":"7_CR31","doi-asserted-by":"publisher","first-page":"19:1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J Woodcock","year":"2009","unstructured":"Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.: Formal methods: practice and experience. ACM Comput. Surv. 41, 19:1\u201319:36 (2009)","journal-title":"ACM Comput. Surv."}],"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-319-25945-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T10:24:09Z","timestamp":1748687049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25945-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259444","9783319259451"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25945-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}