{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T22:59:58Z","timestamp":1693522798085},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T00:00:00Z","timestamp":1391126400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib. Comput."],"published-print":{"date-parts":[[2014,6]]},"DOI":"10.1007\/s00446-014-0208-5","type":"journal-article","created":{"date-parts":[[2014,1,31]],"date-time":"2014-01-31T20:11:54Z","timestamp":1391199114000},"page":"181-201","source":"Crossref","is-referenced-by-count":12,"title":["Timed implementation relations for the distributed test architecture"],"prefix":"10.1007","volume":"27","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","published-online":{"date-parts":[[2014,1,31]]},"reference":[{"key":"208_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)"},{"key":"208_CR2","doi-asserted-by":"crossref","unstructured":"Bhateja, P., Gastin, P., Mukund, M.: A fresh look at testing for asynchronous communication. In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA\u201906, LNCS 4218, pp. 369\u2013383. Springer (2006)","DOI":"10.1007\/11901914_28"},{"key":"208_CR3","doi-asserted-by":"crossref","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: Asynchronous observations of processes. In: 1st International Conference on the Foundations of Software Science and Computation Structure, FoSSaCS\u201998, LNCS 1378, pp. 95\u2013109. Springer (1998)","DOI":"10.1007\/BFb0053544"},{"key":"208_CR4","doi-asserted-by":"crossref","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: A theory of \u201cmay\u201d testing for asynchronous languages. In: 2nd International Conference on the Foundations of Software Science and Computation Structure, FoSSaCS\u201999, LNCS 1578, pp. 165\u2013179. Springer (1999)","DOI":"10.1007\/3-540-49019-1_12"},{"issue":"3","key":"208_CR5","doi-asserted-by":"crossref","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. Inf. Process. Lett. 40(3), 131\u2013136 (1991)","journal-title":"Inf. Process. Lett."},{"issue":"11\u201312","key":"208_CR6","doi-asserted-by":"crossref","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. Inf. Softw. Technol. 41(11\u201312), 767\u2013780 (1999)","journal-title":"Inf. Softw. Technol."},{"key":"208_CR7","doi-asserted-by":"crossref","unstructured":"Castellani, I., Hennessy, M.: Testing theories for asynchronous languages. In: 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS\u201998, LNCS 1530, pp. 90\u2013101. Springer (1998)","DOI":"10.1007\/978-3-540-49382-2_9"},{"key":"208_CR8","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1109\/90.374116","volume":"3","author":"W Chen","year":"1995","unstructured":"Chen, W., Ural, H.: Synchronizable checking sequences based on multiple UIO sequences. IEEE\/ACM Trans. Netw. 3, 152\u2013157 (1995)","journal-title":"IEEE\/ACM Trans. Netw."},{"key":"208_CR9","doi-asserted-by":"crossref","unstructured":"Cunha de Almeida, E., Marynowski, J., Suny\u00e9, G., Traon, Y.L., Valduriez, P.: Efficient distributed test architecture for large-scale systems. In: 22nd International Conference on Testing Software and Systems, ICTSS\u201910, LNCS 6435, pp. 174\u2013187. Springer (2010)","DOI":"10.1007\/978-3-642-16573-3_13"},{"key":"208_CR10","unstructured":"Dssouli, R., von Bochmann, G.: Conformance testing with multiple observers. In: 6th WG6.1 International Conference on Protocol Specification, Testing and Verification, PSTV\u201986, pp. 217\u2013229. North-Holland (1986)"},{"issue":"1","key":"208_CR11","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1147\/sj.411.0089","volume":"41","author":"E Farchi","year":"2002","unstructured":"Farchi, E., Hartman, A., Pinter, S.: Using a model-based test generator to test for standard conformance. IBM Syst. J. 41(1), 89\u2013110 (2002)","journal-title":"IBM Syst. J."},{"issue":"2","key":"208_CR12","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0020-0190(98)00143-4","volume":"68","author":"C Fidge","year":"1998","unstructured":"Fidge, C.: A limitation of vector timestamps for reconstructing distributed computations. Inf. Process. Lett. 68(2), 87\u201391 (1998)","journal-title":"Inf. Process. Lett."},{"key":"208_CR13","doi-asserted-by":"crossref","unstructured":"Gaudel, M.C.: Testing can be formal, too! In: 6th International Joint Conference CAAP\/FASE, Theory and Practice of Software Development, TAPSOFT\u201995, LNCS 915, pp. 82\u201396. Springer (1995)","DOI":"10.1007\/3-540-59293-8_188"},{"key":"208_CR14","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/T-C.1970.222975","volume":"19","author":"G Gonenc","year":"1970","unstructured":"Gonenc, G.: A method for the design of fault detection experiments. IEEE Trans. Comput. 19, 551\u2013558 (1970)","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"208_CR15","doi-asserted-by":"crossref","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. Softw. Test. Verif. Reliab. 21(1), 55\u201371 (2011)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"208_CR16","unstructured":"Hierons, R.M.: Oracles for distributed testing. IEEE Trans. Softw. Eng. 38(3), 629\u2013641 (2012)"},{"key":"208_CR17","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Bogdanov, K., Bowen, J., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M., Kapoor, K., Krause, P., Luettgen, G., Simons, A., Vilkomir, S., Woodward, M., Zedan, H.: Using formal specifications to support testing. ACM Comput. Surv. 41(2), 1\u201376 (2009)","DOI":"10.1145\/1459352.1459354"},{"key":"208_CR18","volume-title":"Formal Methods and Testing, LNCS 4949","year":"2008","unstructured":"Hierons, R.M., Bowen, J., Harman, M. (eds.): Formal Methods and Testing, LNCS 4949. Springer, Berlin (2008)"},{"key":"208_CR19","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Controllable test cases for the distributed test architecture. In: 6th International Symposium on Automated Technology for Verification and Analysis, ATVA\u201908, LNCS 5311, pp. 201\u2013215. Springer (2008)","DOI":"10.1007\/978-3-540-88387-6_16"},{"key":"208_CR20","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Implementation relations for the distributed test architecture. In: Joint 20th IFIP TC6\/WG6.1 Int. Conf. on Testing of Software and Communicating Systems, TestCom\u201908, and 8th International Workshop on Formal Approaches to Software Testing, FATES\u201908, LNCS 5047, pp. 200\u2013215. Springer (2008)","DOI":"10.1007\/978-3-540-68524-1_15"},{"issue":"1","key":"208_CR21","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1007\/s00446-011-0149-1","volume":"25","author":"RM Hierons","year":"2012","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Implementation relations and test generation for systems with distributed interfaces. Distrib. Comput. 25(1), 35\u201362 (2012)","journal-title":"Distrib. Comput."},{"key":"208_CR22","doi-asserted-by":"crossref","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Using time to add order to distributed testing. In: 18th Symposium on Formal Methods, FM\u201912, LNCS 7436, pp. 232\u2013246. Springer (2012)","DOI":"10.1007\/978-3-642-32759-9_20"},{"issue":"3","key":"208_CR23","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/s00446-008-0062-4","volume":"21","author":"RM Hierons","year":"2008","unstructured":"Hierons, R.M., Ural, H.: Checking sequences for distributed test architectures. Distrib. Comput. 21(3), 223\u2013238 (2008)","journal-title":"Distrib. Comput."},{"key":"208_CR24","unstructured":"ISO\/IEC JTC 1, J.T.C.: International Standard ISO\/IEC 9646\u20131. Information Technology\u2014Open Systems Interconnection\u2014Conformance testing methodology and framework-Part 1: General concepts. ISO\/IEC (1994)"},{"key":"208_CR25","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T., Kahlouche, H., Viho, C.: Towards automatic distribution of testers for distributed conformance testing. In: TC6 WG6.1 Joint International Conference on Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE\u201998, pp. 353\u2013368. Kluwer Academic Publishers (1998)","DOI":"10.1007\/978-0-387-35394-4_22"},{"key":"208_CR26","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: 19th Joint International Conference on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE\/PSTV\u201999, pp. 25\u201340. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-0-387-35578-8_2"},{"key":"208_CR27","unstructured":"Kim, M., Shin, J., Chanson, S.T., Kang, S.: An enhanced model for testing asynchronous communicating systems. In: 19th Joint International Conference on Protocol Specification, Testing, and Verification and Formal Description Techniques, FORTE\/PSTV\u201999, pp. 337\u2013356. Kluwer Academic Publishers (1999)"},{"issue":"7","key":"208_CR28","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"1","key":"208_CR29","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/2455.2457","volume":"32","author":"L Lamport","year":"1985","unstructured":"Lamport, L., Melliar-Smith, P.: Synchronizing clocks in the presence of faults. J. ACM 32(1), 52\u201378 (1985)","journal-title":"J. ACM"},{"issue":"8","key":"208_CR30","doi-asserted-by":"crossref","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. Proc. IEEE 84(8), 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"key":"208_CR31","unstructured":"Luo, G., Dssouli, R., von Bochmann, G.: Generating synchronizable test sequences based on finite state machine with distributed ports. In: 6th IFIP Workshop on Protocol Test Systems, IWPTS\u201993, pp. 139\u2013153. North-Holland (1993)"},{"key":"208_CR32","volume-title":"Automata Studies","author":"E Moore","year":"1956","unstructured":"Moore, E.: Gedanken experiments on sequential machines. In: Shannon, C., McCarthy, J. (eds.) Automata Studies. Princeton University Press, Princeton, NJ (1956)"},{"key":"208_CR33","volume-title":"The Art of Software Testing","author":"G Myers","year":"2004","unstructured":"Myers, G.: The Art of Software Testing, 2nd edn. Wiley, London (2004)","edition":"2"},{"key":"208_CR34","doi-asserted-by":"crossref","unstructured":"Ostrovsky, R., Patt-Shamir, B.: Optimal and efficient clock synchronization under drifting clocks. In: 18th Annual ACM Symposium on Principles of Distributed Computing, PODC\u201999, pp. 3\u201312. ACM Press (1999)","DOI":"10.1145\/301308.301316"},{"issue":"9","key":"208_CR35","doi-asserted-by":"crossref","first-page":"1154","DOI":"10.1109\/TC.2005.152","volume":"54","author":"A Petrenko","year":"2005","unstructured":"Petrenko, A., Yevtushenko, N.: Testing from partial deterministic FSM specifications. IEEE Trans. Comput. 54(9), 1154\u20131165 (2005)","journal-title":"IEEE Trans. Comput."},{"issue":"2","key":"208_CR36","doi-asserted-by":"crossref","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. J. Supercomput. 24(2), 203\u2013211 (2003)","journal-title":"J. Supercomput."},{"key":"208_CR37","unstructured":"Sarikaya, B., von Bochmann, G.: Synchronization and specification issues in protocol testing. IEEE Trans. Commun. 32, 389\u2013395 (1984)"},{"issue":"12","key":"208_CR38","doi-asserted-by":"crossref","first-page":"1111","DOI":"10.1016\/S0169-7552(98)00013-0","volume":"30","author":"KC Tai","year":"1998","unstructured":"Tai, K.C., Young, Y.C.: Synchronizable test sequences of finite state machines. Comput. Netw. ISDN Syst. 30(12), 1111\u20131134 (1998)","journal-title":"Comput. Netw. ISDN Syst."},{"key":"208_CR39","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Conformance testing with labelled transition systems: implementation relations and test generation. Comput. Netw. ISDN Syst. 29, 49\u201379 (1996)","DOI":"10.1016\/S0169-7552(96)00017-7"},{"key":"208_CR40","doi-asserted-by":"crossref","unstructured":"Tretmans, J.: Model based testing with labelled transition systems. In: Hierons R.M., Bowen J.P., Harman M. (eds.) Formal Methods and Testing, LNCS 4949, pp. 1\u201338. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-78917-8_1"},{"issue":"1","key":"208_CR41","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/s00165-005-0083-8","volume":"18","author":"H Ural","year":"2006","unstructured":"Ural, H., Williams, C.: Constructing checking sequences for distributed testing. Form. Asp. Comput. 18(1), 84\u2013101 (2006)","journal-title":"Form. Asp. Comput."},{"key":"208_CR42","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan-Kaufmann, Los Altos, CA (2007)"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-014-0208-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00446-014-0208-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00446-014-0208-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T05:39:03Z","timestamp":1565156343000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00446-014-0208-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,31]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,6]]}},"alternative-id":["208"],"URL":"https:\/\/doi.org\/10.1007\/s00446-014-0208-5","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"value":"0178-2770","type":"print"},{"value":"1432-0452","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,1,31]]}}}