{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:12:31Z","timestamp":1748751151302,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319272177"},{"type":"electronic","value":"9783319272184"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-27218-4_6","type":"book-chapter","created":{"date-parts":[[2015,12,9]],"date-time":"2015-12-09T17:39:11Z","timestamp":1449682751000},"page":"79-92","source":"Crossref","is-referenced-by-count":0,"title":["Online Testing: A Passive Approach for Protocols"],"prefix":"10.1007","author":[{"given":"Xiaoping","family":"Che","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lopez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephane","family":"Maag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,10]]},"reference":[{"issue":"4","key":"6_CR1","doi-asserted-by":"publisher","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. Methodol. 20(4), 14 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Cao, T.-D., F\u00e9lix, P., Castanet, R., Berrada, I.: Online testing framework for web services. In: Third International Conference on Software Testing, Verification and Validation, pp. 363\u2013372 (2010)","DOI":"10.1109\/ICST.2010.11"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Che, X., Lalanne, F., Maag, S.: A logic-based passive testing approach for the validation of communicating protocols. In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, pp. 53\u201364 (2012)","DOI":"10.5220\/0003990100530064"},{"key":"6_CR4","unstructured":"Che, X., Maag, S.: A formal passive performance testing approach for distributed communication systems. In: ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, Angers, France, 4\u20136 July, 2013, pp. 74\u201384 (2013)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Dumitrescu, C., Raicu, I., Ripeanu, M., Foster, I.: DiPerF: an automated distributed performance testing framework. In: 5th International Workshop in Grid Computing, pp. 289\u2013296. IEEE Computer Society (2004)","DOI":"10.1109\/GRID.2004.21"},{"issue":"4","key":"6_CR6","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":"6_CR7","unstructured":"ETSI: Methods for testing and specification (MTS); conformance test specification for SIP (2004)"},{"issue":"2","key":"6_CR8","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S Hall\u00e9","year":"2012","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Serv. Comput. 5(2), 192\u2013206 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1109\/71.285605","volume":"5","author":"R Hofmann","year":"1994","unstructured":"Hofmann, R., Klar, R., Mohr, B., Quick, A., Siegle, M.: Distributed performance monitoring: methods, tools and applications. IEEE Trans. Parallel Distrib. Syst. 5, 585\u2013597 (1994)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"6_CR10","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, 788\u2013801 (2013)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-3-540-31848-4_6","volume-title":"Formal Approaches to Software Testing","author":"KG Larsen","year":"2005","unstructured":"Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79\u201394. Springer, Heidelberg (2005)"},{"issue":"2","key":"6_CR12","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":"6_CR13","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: 14th International IEEE Symposium on High-Assurance Systems Engineering, pp. 106\u2013113 (2012)","DOI":"10.1109\/HASE.2012.15"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Raimondi, F., Skene, J., Emmerich, W.: Efficient online monitoring of web-service slas. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 170\u2013180 (2008)","DOI":"10.1145\/1453101.1453125"},{"key":"6_CR15","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_CR16","doi-asserted-by":"crossref","unstructured":"Veanes, M., Campbell, C., Schulte, W., Tillmann, N.: Online testing with model programs. In: Proceedings of the 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 273\u2013282 (2005)","DOI":"10.1145\/1081706.1081751"},{"issue":"3","key":"6_CR17","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1109\/TMC.2008.126","volume":"8","author":"W Wei","year":"2009","unstructured":"Wei, W., Suh, K., Wang, B., Gu, Y., Kurose, J.F., Towsley, D.F., Jaiswal, S.: Passive online detection of 802.11 traffic using sequential hypothesis testing with TCP ACK-pairs. IEEE Trans. Mob. Comput. 8(3), 398\u2013412 (2009)","journal-title":"IEEE Trans. Mob. Comput."},{"issue":"12","key":"6_CR18","doi-asserted-by":"publisher","first-page":"2330","DOI":"10.1109\/TPDS.2012.60","volume":"23","author":"C-H Yuen","year":"2012","unstructured":"Yuen, C.-H., Chan, S.-H.: Scalable real-time monitoring for distributed applications. IEEE Trans. Parallel Distrib. Syst. 23(12), 2330\u20132337 (2012)","journal-title":"IEEE Trans. Parallel Distrib. Syst."}],"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-319-27218-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T18:36:27Z","timestamp":1748716587000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-27218-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319272177","9783319272184"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-27218-4_6","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]}}}