{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:33:58Z","timestamp":1725471238105},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540462194"},{"type":"electronic","value":"9783540462200"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"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":[[2006]]},"DOI":"10.1007\/11888116_32","type":"book-chapter","created":{"date-parts":[[2006,10,3]],"date-time":"2006-10-03T10:06:43Z","timestamp":1159870003000},"page":"451-466","source":"Crossref","is-referenced-by-count":7,"title":["Minimizing Coordination Channels in Distributed Testing"],"prefix":"10.1007","author":[{"given":"Guy-Vincent","family":"Jourdan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan","family":"Ural","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00fcsn\u00fc","family":"Yenig\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines - A survey. Proceedings of the IEEE\u00a084, 1090\u20131126 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"32_CR2","volume-title":"Introduction to The Theory of Finite State Machines","author":"A. Gill","year":"1962","unstructured":"Gill, A.: Introduction to The Theory of Finite State Machines. McGraw Hill, New York (1962)"},{"key":"32_CR3","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/12.559807","volume":"46","author":"H. Ural","year":"1997","unstructured":"Ural, H., Wu, X., Zhang, F.: On minimizing the length of checking sequences. IEEE Transactions on Computers\u00a046, 93\u201399 (1997)","journal-title":"IEEE Transactions on Computers"},{"key":"32_CR4","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1109\/TC.2002.1032630","volume":"51","author":"R.M. Hierons","year":"2002","unstructured":"Hierons, R.M., Ural, H.: Reduced length checking sequences. IEEE Transactions on Computers\u00a051, 1111\u20131117 (2002)","journal-title":"IEEE Transactions on Computers"},{"key":"32_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1007\/11569596_93","volume-title":"Computer and Information Sciences - ISCIS 2005","author":"K.T. Tekle","year":"2005","unstructured":"Tekle, K.T., Ural, H., Yalcin, M.C., Yenigun, H.: Generalizing redundancy elimination in checking sequences. In: Yolum, p., G\u00fcng\u00f6r, T., G\u00fcrgen, F., \u00d6zturan, C. (eds.) ISCIS 2005. LNCS, vol.\u00a03733, pp. 915\u2013926. Springer, Heidelberg (2005)"},{"key":"32_CR6","unstructured":"Yao, M., Petrenko, A., von Bochmann, G.: Conformance testing of protocol machines without reset. In: Protocol Specification, Testing and Verification, vol.\u00a0XIII, pp. 241\u2013256 (1993)"},{"key":"32_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-30232-2_15","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"J. Chen","year":"2004","unstructured":"Chen, J., Hierons, R.M., Ural, H.: Conditions for resolving observability problems in distributed testing. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 229\u2013242. Springer, Heidelberg (2004)"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11562436_17","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"J. Chen","year":"2005","unstructured":"Chen, J., Hierons, R.M., Ural, H.: Resolving observability problems in distributed test architectures. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 219\u2013232. Springer, Heidelberg (2005)"},{"key":"32_CR9","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/TCOM.1984.1096074","volume":"32","author":"B. Sarikaya","year":"1984","unstructured":"Sarikaya, B., von Bochmann, G.: Synchronization and specification issues in protocol testing. IEEE Transactions on Communications\u00a032, 389\u2013395 (1984)","journal-title":"IEEE Transactions on Communications"},{"key":"32_CR10","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0920-5489(94)90003-5","volume":"16","author":"G. Luo","year":"1994","unstructured":"Luo, G., Dssouli, R., von Bochmann, G., Venkataram, P., Ghedamsi, A.: Test generation with respect to distributed interfaces. Comput. Stand. Interfaces\u00a016, 119\u2013132 (1994)","journal-title":"Comput. Stand. Interfaces"},{"key":"32_CR11","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1016\/S0169-7552(98)00013-0","volume":"30","author":"K. Tai","year":"1998","unstructured":"Tai, K., Young, Y.: Synchronizable test sequences of finite state machines. Computer Networks and ISDN Systems\u00a030, 1111\u20131134 (1998)","journal-title":"Computer Networks and ISDN Systems"},{"key":"32_CR12","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/S0950-5849(01)00169-0","volume":"43","author":"R.M. Hierons","year":"2001","unstructured":"Hierons, R.M.: Testing a distributed system: Generating minimal synchronised test sequences that detect output-shifting faults. Information and Software Technology\u00a043, 551\u2013560 (2001)","journal-title":"Information and Software Technology"},{"key":"32_CR13","doi-asserted-by":"publisher","first-page":"1085","DOI":"10.1109\/TSE.2002.1049406","volume":"28","author":"A. Khoumsi","year":"2002","unstructured":"Khoumsi, A.: A temporal approach for testing distributed systems. IEEE Transactions on Software Engineering\u00a028, 1085\u20131103 (2002)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"32_CR14","doi-asserted-by":"publisher","first-page":"1177","DOI":"10.1016\/S0140-3664(98)00178-9","volume":"21","author":"W.J. Wu","year":"1998","unstructured":"Wu, W.J., Chen, W.H., Tang, C.Y.: Synchronizable for multi-party protocol conformance testing. Computer Communications\u00a021, 1177\u20131183 (1998)","journal-title":"Computer Communications"},{"key":"32_CR15","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","volume":"41","author":"L. Cacciari","year":"1999","unstructured":"Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Inform. Software Technol.\u00a041, 767\u2013780 (1999)","journal-title":"Inform. Software Technol."},{"key":"32_CR16","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(91)90166-F","volume":"40","author":"S.H. Boyd","year":"1991","unstructured":"Boyd, S.H., Ural, H.: The synchronization problem in protocol testing and its complexity. Information Processing Letters\u00a040, 131\u2013136 (1991)","journal-title":"Information Processing Letters"},{"key":"32_CR17","unstructured":"Dssouli, R., von Bochmann, G.: Error detection with multiple observers. In: Protocol Specification, Testing and Verification, vol.\u00a0V, pp. 483\u2013494. Elsevier Science, North Holland (1985)"},{"key":"32_CR18","unstructured":"Dssouli, R., von Bochmann, G.: Conformance testing with multiple observers. In: Protocol Specification, Testing and Verification, vol.\u00a0VI, pp. 217\u2013229. Elsevier Science, North Holland (1986)"},{"key":"32_CR19","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1021759127956","volume":"24","author":"O. Rafiq","year":"2003","unstructured":"Rafiq, O., Cacciari, L.: Coordination algorithm for distributed testing. The Journal of Supercomputing\u00a024, 203\u2013211 (2003)","journal-title":"The Journal of Supercomputing"},{"key":"32_CR20","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1016\/S0950-5849(03)00060-0","volume":"45","author":"R.M. Hierons","year":"2003","unstructured":"Hierons, R.M., Ural, H.: Uio sequence based checking sequence for distributed test architectures. Information and Software Technology\u00a045, 798\u2013803 (2003)","journal-title":"Information and Software Technology"},{"key":"32_CR21","doi-asserted-by":"crossref","unstructured":"Chen, J., Ural, H., Hierons, R.M.: Overcoming observability problems in distributed test architectures. Information Processing Letters (to appear)","DOI":"10.1016\/j.ipl.2006.02.001"},{"key":"32_CR22","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R.E. Tarjan","year":"1972","unstructured":"Tarjan, R.E.: Depth-first search and linear graph algorithms. SIAM J. Comput.\u00a01, 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"key":"32_CR23","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1137\/0205044","volume":"5","author":"K.P. Eswaran","year":"1976","unstructured":"Eswaran, K.P., Tarjan, R.E.: Augmentation problems. SIAM J. Comput.\u00a05, 653\u2013665 (1976)","journal-title":"SIAM J. Comput."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11888116_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,13]],"date-time":"2019-03-13T19:30:52Z","timestamp":1552505452000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11888116_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540462194","9783540462200"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11888116_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}