{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T02:49:06Z","timestamp":1725763746803},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642454219"},{"type":"electronic","value":"9783642454226"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45422-6_6","type":"book-chapter","created":{"date-parts":[[2013,12,11]],"date-time":"2013-12-11T22:59:06Z","timestamp":1386802746000},"page":"79-94","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Monitoring Technique for SIP Conformance Testing"],"prefix":"10.1007","author":[{"given":"Xiaoping","family":"Che","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe","family":"Lalanne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Maag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"6_CR1","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1109\/TNET.2006.872572","volume":"14","author":"D. Lee","year":"2006","unstructured":"Lee, D., Chen, D., Hao, R., Miller, R.E., Wu, J., Yin, X.: Network protocol system monitoring-a formal approach with passive testing. IEEE\/ACM Transactions on Networking\u00a014(2), 424\u2013437 (2006)","journal-title":"IEEE\/ACM Transactions on Networking"},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/j.comnet.2004.09.009","volume":"48","author":"E. Bayse","year":"2005","unstructured":"Bayse, E., Cavalli, A., Nunez, M., Zaidi, F.: A passive testing approach based on invariants: application to the wap. Computer Networks\u00a048(2), 247\u2013266 (2005)","journal-title":"Computer Networks"},{"issue":"2","key":"6_CR3","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1145\/1459352.1459354","volume":"41","author":"R.M. Hierons","year":"2009","unstructured":"Hierons, R.M., Krause, P., Luttgen, G., Simons, A.J.H.: Using formal specifications to support testing. ACM Computing Surveys\u00a041(2), 176 (2009)","journal-title":"ACM Computing Surveys"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J.: Sip: Session initiation protocol (2002)","DOI":"10.17487\/rfc3261"},{"key":"6_CR5","unstructured":"Maag, S., Lalanne, F.: A formal data-centric approach for passive conformance testing of communication protocols. Technical report, Telecom Sud-Paris - 110003-LOR, ISSN 1968-505X (2011)"},{"key":"6_CR6","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.\u00a04581, pp. 335\u2013350. Springer, Heidelberg (2007)"},{"issue":"5","key":"6_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. Journal of Logic and Algebraic Programming\u00a078(5), 293\u2013303 (2009)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Morales, G., Maag, S., Cavalli, A., Mallouli, W., Oca, E.D.: Timed extended invariants for the passive testing of web services. In: IEEE International Conference of Web Services (2010)","DOI":"10.1109\/ICWS.2010.17"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Cao, T.-D., Phan-Quang, T.-T., Felix, P., Castanet, R.: Automated runtime verification for web services. In: IEEE International Conference on Web Services, pp. 76\u201382 (2010)","DOI":"10.1109\/ICWS.2010.19"},{"key":"6_CR10","unstructured":"Cuppens, F., Cuppens-Boulahia, N., Nomad, T.S.: A security model with non atomic actions and deadlines. IEEE (2005)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H. Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 44\u201357. Springer, Heidelberg (2004)"},{"key":"6_CR12","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Datalog and Recursion, 2nd edn. Addison-Wesley (1995)"},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M.V. Emden","year":"1976","unstructured":"Emden, M.V., Kowalski, R.: The semantics of predicate logic as a programming language. Journal of the ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM"},{"key":"6_CR14","unstructured":"Nilsson, U., Maluszynski, J.: Logic, programming and Prolog, 2nd edn. Wiley (1990)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M.: Runtime verification for ltl and tltl. ACM Transactions on Software Engineering and Methodology, 1\u201368 (2007)","DOI":"10.1145\/2000799.2000800"},{"issue":"3","key":"6_CR16","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. Journal of the ACM (JACM)\u00a029(3), 841\u2013862 (1982)","journal-title":"Journal of the ACM (JACM)"},{"key":"6_CR17","unstructured":"Hewlett-Packard: SIPp (2004), \n                    \n                      http:\/\/sipp.sourceforge.net\/"},{"key":"6_CR18","unstructured":"ETSI: Methods for testing and specification (mts); conformance test specification for sip. (2004)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Rosenberg, J., Schulzrinne, H., Levin, O.: A session initiation protocol (sip) event package for conference state (2006)","DOI":"10.17487\/rfc4575"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Bradner, S.: Benchmarking terminology for network interconnection devices (1991)","DOI":"10.17487\/rfc1242"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Bradner, S., McQuaid, J.: Benchmarking methodology for network interconnect devices (1991)","DOI":"10.17487\/rfc1242"}],"container-title":["Communications in Computer and Information Science","Evaluation of Novel Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45422-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T07:12:51Z","timestamp":1558768371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45422-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642454219","9783642454226"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45422-6_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}