{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:21:46Z","timestamp":1759335706189},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730651"},{"type":"electronic","value":"9783540730668"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[[2007]]},"DOI":"10.1007\/978-3-540-73066-8_12","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T04:07:13Z","timestamp":1187410033000},"page":"171-185","source":"Crossref","is-referenced-by-count":20,"title":["Testing Input\/Output Partial Order Automata"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Haar","sequence":"first","affiliation":[]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[]},{"given":"Guy-Vincent","family":"Jourdan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","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., 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":"12_CR2","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":"X.J. Chen","year":"2005","unstructured":"Chen, X.J., Hierons, R.M., Ural, H.: Resolving observability problems in distributed test architecture. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 219\u2013232. Springer, Heidelberg (2005)"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/TCOM.1984.1096074","volume":"32","author":"B. Sarikaya","year":"1984","unstructured":"Sarikaya, B., Bochmann, G.v.: Synchronization and specification issues in protocol testing. IEEE Transactions on Communications\u00a032, 389\u2013395 (1984)","journal-title":"IEEE Transactions on Communications"},{"key":"12_CR4","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., Bochmann, G.V., Venkataram, P., Ghedamsi, A.: Test generation with respect to distributed interfaces. Comput. Stand. Interfaces\u00a016, 119\u2013132 (1994)","journal-title":"Comput. Stand. Interfaces"},{"key":"12_CR5","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":"12_CR6","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":"12_CR7","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":"12_CR8","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":"12_CR9","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":"12_CR10","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(91)90166-F","volume":"40","author":"S. Boyd","year":"1991","unstructured":"Boyd, S., Ural, H.: The synchronization problem in protocol testing and its complexity. Information Processing Letters\u00a040, 131\u2013136 (1991)","journal-title":"Information Processing Letters"},{"key":"12_CR11","first-page":"483","volume-title":"Protocol Specification, Testing and Verification","author":"R. Dssouli","year":"1985","unstructured":"Dssouli, R., von Bochmann, G.: Error detection with multiple observers. In: Protocol Specification, Testing and Verification, vol.\u00a0V, pp. 483\u2013494. Elsevier, North Holland (1985)"},{"key":"12_CR12","first-page":"217","volume-title":"Protocol Specification, Testing and Verification","author":"R. Dssouli","year":"1986","unstructured":"Dssouli, R., von Bochmann, G.: Conformance testing with multiple observers. In: Protocol Specification, Testing and Verification, vol.\u00a0VI, pp. 217\u2013229. Elsevier, North Holland (1986)"},{"key":"12_CR13","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":"12_CR14","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":"12_CR15","unstructured":"Chen, J., abd, H.U., R.M.H.: Overcoming observability problems in distributed test architectures (Information Processing Letters) (to appear)"},{"key":"12_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1007\/11888116_32","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"G.V. Jourdan","year":"2006","unstructured":"Jourdan, G.V., Ural, H., Yenig\u00fcn, H.: Minimizing coordination channels in distributed testing. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, pp. 451\u2013466. Springer, Heidelberg (2006)"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite\u2013state machines \u2013 a survey. Proceedings of the IEEE\u00a084, 1089\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"12_CR18","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":"12_CR19","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault\u2013detecting experiments for sequential circuits. In: Proceedings of Fifth Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey, pp. 95\u2013110 (1964)","DOI":"10.1109\/SWCT.1964.8"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1109\/12.272431","volume":"43","author":"D. Lee","year":"1994","unstructured":"Lee, D., Yannakakis, M.: Testing finite state machines: state identification and verification. IEEE Trans. Computers\u00a043, 306\u2013320 (1994)","journal-title":"IEEE Trans. Computers"},{"key":"12_CR21","first-page":"988","volume":"7","author":"M.N. Sokolovskii","year":"1971","unstructured":"Sokolovskii, M.N.: Diagnostic experiments with automata. Journal Cybernetics and Systems Analysis\u00a07, 988\u2013994 (1971)","journal-title":"Journal Cybernetics and Systems Analysis"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73066-8_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T19:34:27Z","timestamp":1550777667000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73066-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730651","9783540730668"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73066-8_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}