{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T04:05:23Z","timestamp":1746158723938,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642540912"},{"type":"electronic","value":"9783642540929"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-54092-9_8","type":"book-chapter","created":{"date-parts":[[2013,12,20]],"date-time":"2013-12-20T07:35:59Z","timestamp":1387524959000},"page":"110-125","source":"Crossref","is-referenced-by-count":0,"title":["Testing Distributed Communication Protocols by Formal Performance Monitoring"],"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"}]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","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 Transactions on Networking\u00a014(2), 424\u2013437 (2006)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Lalanne, F., Maag, S.: A formal data-centric approach for passive testing of communication protocols. IEEE \/ ACM Transactions on Networking (2012)","DOI":"10.1109\/TNET.2012.2210443"},{"issue":"2","key":"8_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":"8_CR4","unstructured":"Lalanne, F., Che, X., Maag, S.: Data-centric property formulation for passive testing of communication protocols. In: Proceedings of the 13th IASME\/WSEAS, ACC 2011\/MMACTEE 2011, pp. 176\u2013181 (2011)"},{"key":"8_CR5","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, ENASE 2012, Wroclaw, Poland, pp. 53\u201364 (2012)","DOI":"10.5220\/0003990100530064"},{"key":"8_CR6","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 Transactions on Software Engineering and Methodology\u00a020, 14 (2011)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"1147","DOI":"10.1109\/32.888628","volume":"26","author":"E.J. Weyuker","year":"2000","unstructured":"Weyuker, E.J., Vokolos, F.I.: Experience with performance testing of software systems: Issues, an approach, and case study. IEEE Trans. Software Eng.\u00a026, 1147\u20131156 (2000)","journal-title":"IEEE Trans. Software Eng."},{"key":"8_CR8","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 Transactions on Parallel and Distributed Systems\u00a05, 585\u2013597 (1994)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"8_CR9","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"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Denaro, G., Bicocca, U.D.M., Polini, A., Emmerich, W.: Early performance testing of distributed software applications. In: SIGSOFT Software Engineering Notes, pp. 94\u2013103 (2004)","DOI":"10.1145\/974043.974059"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/1165389.945454","volume":"37","author":"M.K. Aguilera","year":"2003","unstructured":"Aguilera, M.K., Mogul, J.C., Wiener, J.L., Reynolds, P., Muthitacharoen, A.: Performance debugging for distributed systems of black boxes. SIGOPS Oper. Syst. Rev.\u00a037, 74\u201389 (2003)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Yilmaz, C., Krishna, A.S., Memon, A., Porter, A., Schmidt, D.C., Gokhale, A., Natarajan, R.: Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems. In: ICSE 2005: Proceedings of the 27th International Conference on Software Engineering, pp. 293\u2013302. ACM Press (2005)","DOI":"10.1145\/1062455.1062515"},{"key":"8_CR13","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 Transactions on Parallel and Distributed Systems\u00a023, 2330\u20132337 (2012)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Taufer, M., Stricker, T.: A performance monitor based on virtual global time for clusters of pcs. In: Proceedings of IEEE International Conference on Cluster Computing, pp. 64\u201372 (2003)","DOI":"10.1109\/CLUSTR.2003.1253300"},{"issue":"4","key":"8_CR15","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":"8_CR16","unstructured":"9646-1, I.: ISO\/IEC information technology - open systems interconnection - conformance testing methodology and framework - part 1: General concepts. Technical report, ISO (1994)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Shin, M., Park, M., Oh, D., Kim, B., Lee, J.: Clock synchronization for one-way delay measurement: A survey. In: Kim, T.H., Adeli, H., Robles, R., Balitanas, M. (eds.) ACN 2011. CCIS, vol.\u00a0199, pp. 1\u201310. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-23312-8_1"},{"key":"8_CR18","doi-asserted-by":"publisher","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 Transactions on Communications\u00a039, 1482\u20131493 (1991)","journal-title":"IEEE Transactions on Communications"},{"key":"8_CR19","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":"8_CR20","unstructured":"Alliance, O.M.: Internet messaging and presence service features and functions (2005)"},{"key":"8_CR21","unstructured":"Alliance, O.M.: Push to talk over cellular requirements (2006)"},{"key":"8_CR22","unstructured":"Hewlett-Packard: SIPp (2004), http:\/\/sipp.sourceforge.net\/"}],"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-54092-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T08:13:06Z","timestamp":1746087186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54092-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642540912","9783642540929"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54092-9_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2013]]}}}