{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T11:43:03Z","timestamp":1778326983696,"version":"3.51.4"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"DArDOS","award":["TIN2015-65845-C3-1-R (MINECO\/FEDER)"],"award-info":[{"award-number":["TIN2015-65845-C3-1-R (MINECO\/FEDER)"]}]},{"name":"SICOMORo-CM","award":["S2013\/ICE-3006"],"award-info":[{"award-number":["S2013\/ICE-3006"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/tr.2018.2800093","type":"journal-article","created":{"date-parts":[[2018,3,27]],"date-time":"2018-03-27T18:55:24Z","timestamp":1522176924000},"page":"522-537","source":"Crossref","is-referenced-by-count":29,"title":["Bounded Reordering in the Distributed Test Architecture"],"prefix":"10.1109","volume":"67","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4771-1446","authenticated-orcid":false,"given":"Robert M.","family":"Hierons","sequence":"first","affiliation":[]},{"given":"Mercedes G.","family":"Merayo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9808-6401","authenticated-orcid":false,"given":"Manuel","family":"Nunez","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"98","article-title":"Unfolding-based test selection for concurrent conformance","author":"ponce de le\u00f3n","year":"2013","journal-title":"Proc 25th IFIP WG 6 1 Int Conf Test Softw Syst"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2014.16"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1049406"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35394-4_22"},{"key":"ref30","author":"hopcroft","year":"2006","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"ref37","author":"myers","year":"2011","journal-title":"The Art of Software Testing"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0030293"},{"key":"ref35","first-page":"89","author":"marinescu","year":"2015","journal-title":"A Research Overview of Tool-Supported Model-Based Testing of Requirements-Based Designs (Volume 98 of Advances in Computers)"},{"key":"ref34","first-page":"139","article-title":"Generating synchronizable test sequences based on finite state machine with\n distributed ports","author":"luo","year":"1993","journal-title":"Proc 6th IFIP Workshop Protocol Test Syst"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2307\/1969503"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10882-7_22"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2933575.2933576"},{"key":"ref12","first-page":"483","article-title":"Error detection with multiple observers","author":"dssouli","year":"1985","journal-title":"Proc 5th WG6 1 Int Conf Protocol Specification Test Verif"},{"key":"ref13","first-page":"217","article-title":"Conformance testing with multiple observers","author":"dssouli","year":"1986","journal-title":"Proc 6th WG6 1 Int Conf Protocol Specification Test Verif"},{"key":"ref14","author":"garey","year":"1979","journal-title":"Computers and Intractability"},{"key":"ref15","first-page":"82","article-title":"Testing can be formal, too!","author":"gaudel","year":"1995","journal-title":"Proc 6th Int Joint Conf CAAP\/FASE Theory Pract Softw Dev"},{"key":"ref16","first-page":"171","article-title":"Testing\n input\/output partial order automata","author":"haar","year":"2007","journal-title":"Proc Joint 19th IFIP TC6\/WG6 1 Int Conf Test Softw Commun Syst \/7th Int Workshop Formal Approaches Softw Test"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429109"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/090771296"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.45"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(03)00060-0"},{"key":"ref4","first-page":"169","article-title":"Testing systems specified as partial\n order input\/output automata","author":"von bochmann","year":"2008","journal-title":"Proc Joint 20th IFIP TC6\/WG6 1 Int Conf Test Softw Commun Syst \/8th Int Workshop Formal Approaches Softw Test"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-014-0208-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2697399"},{"key":"ref6","first-page":"264","article-title":"Testing real-time multi input-output systems","author":"brand\u00e1n briones","year":"2005","journal-title":"Proc 7th Int Conf Formal Eng Methods"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxm096"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(91)90166-F"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s12243-015-0457-8"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/S0950-5849(99)00036-1","article-title":"Controllability and observability in distributed testing","volume":"41","author":"cacciari","year":"1999","journal-title":"Inf Softw Technol"},{"key":"ref2","author":"ammann","year":"2017","journal-title":"Introduction to Software Testing"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/90.374116"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1999.2847"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35381-4_10"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.252"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-005-0083-8"},{"key":"ref22","first-page":"33","article-title":"A more precise implementation relation for distributed testing","volume":"59","author":"hierons","year":"2016","journal-title":"Comput J"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2364035"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1023\/A:1021759127956"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_16"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0353-y"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"ref44","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s10009-013-0291-0","article-title":"A systematic review of state-based test tools","volume":"17","author":"shafique","year":"2015","journal-title":"Int J Softw Tools Technol Transf"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-011-0149-1"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1984.1096074"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68524-1_15"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/8370165\/08326717.pdf?arnumber=8326717","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T03:03:00Z","timestamp":1643166180000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8326717\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":46,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tr.2018.2800093","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6]]}}}