{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:57:49Z","timestamp":1762459069134},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642385919"},{"type":"electronic","value":"9783642385926"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38592-6_8","type":"book-chapter","created":{"date-parts":[[2013,5,29]],"date-time":"2013-05-29T04:56:11Z","timestamp":1369803371000},"page":"99-113","source":"Crossref","is-referenced-by-count":6,"title":["Passive Testing with Asynchronous Communications"],"prefix":"10.1007","author":[{"given":"Robert M.","family":"Hierons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"8_CR1","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1002\/stvr.1464","volume":"22","author":"C. Andr\u00e9s","year":"2012","unstructured":"Andr\u00e9s, C., Merayo, M.G., N\u00fa\u00f1ez, M.: Formal passive testing of timed systems: Theory and tools. Software Testing, Verification and Reliability\u00a022(6), 365\u2013405 (2012)","journal-title":"Software Testing, Verification and Reliability"},{"issue":"2","key":"8_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., N\u00fa\u00f1ez, M., Za\u00efdi, F.: A passive testing approach based on invariants: Application to the WAP. Computer Networks\u00a048(2), 247\u2013266 (2005)","journal-title":"Computer Networks"},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/0304-3975(86)90088-5","volume":"48","author":"G. Berry","year":"1986","unstructured":"Berry, G., Sethi, R.: From regular expressions to deterministic automata. Theoretical Computer Science\u00a048(3), 117\u2013126 (1986)","journal-title":"Theoretical Computer Science"},{"issue":"12","key":"8_CR4","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1016\/S0950-5849(03)00063-6","volume":"45","author":"A. Cavalli","year":"2003","unstructured":"Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an extended finite state machine specification. Information and Software Technology\u00a045(12), 837\u2013852 (2003)","journal-title":"Information and Software Technology"},{"issue":"3","key":"8_CR5","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s10703-012-0142-8","volume":"41","author":"C. Colombo","year":"2012","unstructured":"Colombo, C., Pace, G.J., Abela, P.: Safer asynchronous runtime monitoring using compensations. Formal Methods in System Design\u00a041(3), 269\u2013294 (2012)","journal-title":"Formal Methods in System Design"},{"issue":"1","key":"8_CR6","doi-asserted-by":"publisher","first-page":"161","DOI":"10.2307\/1969503","volume":"51","author":"R.P. Dilworth","year":"1950","unstructured":"Dilworth, R.P.: A decomposition theorem for partially ordered sets. Annals of Mathematics\u00a051(1), 161\u2013166 (1950)","journal-title":"Annals of Mathematics"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-59293-8_188","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M.-C. Gaudel","year":"1995","unstructured":"Gaudel, M.-C.: Testing can be formal, too! In: Mosses, P.D., Nielsen, M. (eds.) TAPSOFT 1995. LNCS, vol.\u00a0915, pp. 82\u201396. Springer, Heidelberg (1995)"},{"issue":"1","key":"8_CR8","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1002\/stvr.427","volume":"21","author":"W. Grieskamp","year":"2011","unstructured":"Grieskamp, W., Kicillof, N., Stobie, K., Braberman, V.: Model-based quality assurance of protocol documentation: tools and methodology. Software Testing, Verification and Reliability\u00a021(1), 55\u201371 (2011)","journal-title":"Software Testing, Verification and Reliability"},{"issue":"4","key":"8_CR9","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1051\/ita:2000116","volume":"34","author":"C. Hagenah","year":"2000","unstructured":"Hagenah, C., Muscholl, A.: Computing epsilon-free NFA from regular expressions in O(n\u00b7log(n)2) time. Informatique Th\u00e9orique et Applications\u00a034(4), 257\u2013278 (2000)","journal-title":"Informatique Th\u00e9orique et Applications"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault-detecting experiments for sequential circuits. In: 5th Annual Symposium on Switching Circuit Theory and Logical Design, pp. 95\u2013110. IEEE Computer Society (1964)","DOI":"10.1109\/SWCT.1964.8"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Henniger, O.: On test case generation from asynchronously communicating state machines. In: 10th Int. Workshop on Testing of Communicating Systems, IWTCS 1997, pp. 255\u2013271. Chapman & Hall (1997)","DOI":"10.1007\/978-0-387-35198-8_16"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.tcs.2012.05.038","volume":"451","author":"R.M. Hierons","year":"2012","unstructured":"Hierons, R.M.: The complexity of asynchronous model based testing. Theoretical Computer Science\u00a0451, 70\u201382 (2012)","journal-title":"Theoretical Computer Science"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J.P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A.J.H., Vilkomir, S., Woodward, M.R., Zedan, H.: Using formal specifications to support testing. ACM Computing Surveys\u00a041(2) (2009)","DOI":"10.1145\/1459352.1459354"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods and Testing","year":"2008","unstructured":"Hierons, R.M., Bowen, J.P., Harman, M. (eds.): Formal Methods and Testing. LNCS, vol.\u00a04949. Springer, Heidelberg (2008)"},{"issue":"10","key":"8_CR15","doi-asserted-by":"crossref","first-page":"999","DOI":"10.1002\/spe.1062","volume":"41","author":"R.M. Hierons","year":"2011","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Scenarios-based testing of systems with distributed ports. Software - Practice and Experience\u00a041(10), 999\u20131026 (2011)","journal-title":"Software - Practice and Experience"},{"issue":"1","key":"8_CR16","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/s00446-011-0149-1","volume":"25","author":"R.M. Hierons","year":"2012","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Implementation relations and test generation for systems with distributed interfaces. Distributed Computing\u00a025(1), 35\u201362 (2012)","journal-title":"Distributed Computing"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-642-32759-9_20","volume-title":"FM 2012: Formal Methods","author":"R.M. Hierons","year":"2012","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Using time to add order to distributed testing. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 232\u2013246. Springer, Heidelberg (2012)"},{"issue":"4","key":"8_CR18","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1006\/jcss.2001.1748","volume":"62","author":"J. Hromkovic","year":"2001","unstructured":"Hromkovic, J., Seibert, S., Wilke, T.: Translating regular expressions into small \u03b5-free nondeterministic finite automata. Journal of Computer Systems and Science\u00a062(4), 565\u2013588 (2001)","journal-title":"Journal of Computer Systems and Science"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-24704-3_6","volume-title":"Testing of Communicating Systems","author":"J.L. Huo","year":"2004","unstructured":"Huo, J.L., Petrenko, A.: On testing partially specified IOTS through lossless queues. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol.\u00a02978, pp. 76\u201394. Springer, Heidelberg (2004)"},{"issue":"1","key":"8_CR20","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1002\/stvr.396","volume":"19","author":"J. Huo","year":"2009","unstructured":"Huo, J., Petrenko, A.: Transition covering tests for systems with queues. Software Testing, Verification and Reliability\u00a019(1), 55\u201383 (2009)","journal-title":"Software Testing, Verification and Reliability"},{"key":"8_CR21","unstructured":"Lee, D., Netravali, A.N., Sabnani, K.K., Sugla, B., John, A.: Passive testing and applications to network management. In: 5th IEEE Int. Conf. on Network Protocols, ICNP 1997, pp. 113\u2013122. IEEE Computer Society (1997)"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-24580-0_7","volume-title":"Testing Software and Systems","author":"A. Mammar","year":"2011","unstructured":"Mammar, A., Cavalli, A., Jimenez, W., Mallouli, W., Montes de Oca, E.: Using testing techniques for vulnerability detection in C programs. In: Wolff, B., Za\u00efdi, F. (eds.) ICTSS 2011. LNCS, vol.\u00a07019, pp. 80\u201396. Springer, Heidelberg (2011)"},{"key":"8_CR23","doi-asserted-by":"crossref","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"G.H. Mealy","year":"1955","unstructured":"Mealy, G.H.: A method for synthesizing sequential circuits. Bell System Techical Journal\u00a034, 1045\u20131079 (1955)","journal-title":"Bell System Techical Journal"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Morales, G., Maag, S., Cavalli, A.R., Mallouli, W., Montes de Oca, E., Wehbi, B.: Timed extended invariants for the passive testing of web services. In: 8th IEEE Int. Conf. on Web Services, ICWS 2010, pp. 592\u2013599. IEEE Computer Society (2010)","DOI":"10.1109\/ICWS.2010.17"},{"issue":"11","key":"8_CR25","doi-asserted-by":"publisher","first-page":"1252","DOI":"10.1016\/j.infsof.2011.06.006","volume":"53","author":"A. Sim\u00e3o","year":"2011","unstructured":"Sim\u00e3o, A., Petrenko, A.: Generating asynchronous test cases from test purposes. Information and Software Technology\u00a053(11), 1252\u20131262 (2011)","journal-title":"Information and Software Technology"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38592-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T08:36:57Z","timestamp":1715416617000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38592-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642385919","9783642385926"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38592-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}