{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:09:15Z","timestamp":1761610155847,"version":"build-2065373602"},"reference-count":22,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3893,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1016\/s1571-0661(04)80404-3","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T12:47:47Z","timestamp":1096462067000},"page":"66-83","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"title":["Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination"],"prefix":"10.1016","volume":"66","author":[{"given":"Tiziana","family":"Margaria","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB1","unstructured":"L. Andrade, J. Fiadeiro, J. Gouveia, G. Koutsoukos, A. Lopes, M. Wermelinger: Coordination Technologies For Component-Based Systems, to appear at Integrated Design and Process Technology, IDPT-2002, Pasadena (CA), June, 2002, Society for Design and Process Science."},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB2","unstructured":"V. Braun, T. Margaria, B. Steffen: The Electronic Tool Integration Platform appears in the Special Theme Issue on \u201cInternet Based Technology Transfer Services\u201d of the Journal Asia Pacific Tech Monitor."},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB3","doi-asserted-by":"crossref","DOI":"10.1016\/S0167-6423(96)00032-9","article-title":"An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology","volume":"29","author":"Fernandez","year":"1997","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB4","series-title":"Proc. TOOLS 38","first-page":"184","article-title":"Tool Support for Coordination Based Evolution","author":"Gouveia","year":"2001"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB5","unstructured":"A. Hagerer, T. Margaria, O. Niese, B. Steffen, G. Brune, H.-D. Ide: An Efficient Regression Testing of CTI Systems: Testing a complex Call-Center Solution, Accepted for publication in Annual Review of Communic., Vol. 55, Int. Engineering Consortium, Chicago, 2001"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB6","unstructured":"Herakom GmbH, Germany, http:\/\/www.herakom.de."},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB7","unstructured":"C. Jard, T. Jeron: TGV: Theory, Principles and Algorithms, Proc. Int. Symposium on Integrated Design and Process Technology 2002, Pasadena, June 2002, (to appear)."},{"issue":"2","key":"10.1016\/S1571-0661(04)80404-3_NEWBIB8","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1145\/169701.169682","article-title":"A Superimposition Control Construct for Distributed Systems","volume":"15","author":"Katz","year":"1993","journal-title":"ACM TOPLAS"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB9","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","article-title":"Results on the Propositional \u03bc-Calculus","volume":"Vol. 27","author":"Kozen","year":"1983","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB10","unstructured":"Object Management Group: The Common Object Request Broker: Architecture and Specification, Revision 2.3, Object Management Group, 1999."},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB11","article-title":"An Automated Testing Environment for CTI Systems Using Concepts for Specification and Verification of Workflows","volume":"Vol. 54","author":"Niese","year":"2000"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB12","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1109\/ETW.2001.946662","article-title":"An Automated Regression Testing of CTI Systems","author":"Niese","year":"2001","journal-title":"In Proc. IEEE European Test Workshop 2001"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB13","doi-asserted-by":"crossref","unstructured":"O. Niese, B. Steffen, T. Margaria, A. Hagerer, G. Brune, H.-D. Ide: Library based Design and Consistency Checking of System-level Industrial Test Cases, FASE 2001, Int. Conf. on Fundamental Aspects of Software Engineering, Genova, LNCS 2029, Springer Verlag, 2001, pp. 233\u2013248.","DOI":"10.1007\/3-540-45314-8_17"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB14","unstructured":"Rational, Inc.: The Rational Suite description, http:\/\/www.rational.com\/products."},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB15","unstructured":"M. Schmitt, B. Koch, J. Grabowski, D. Hogrefe: Autolink - A Tool for Automatic and Semi-automatic Test Generation from SDL-Specifications, Technical Report A-98-05, Medical Univ. of L\u00fcbec, Germany, 1998."},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB16","doi-asserted-by":"crossref","unstructured":"B. Steffen, A. Cla\u00dfen, M. Klein, J. Knoop, T. Margaria: The Fixpoint Analysis Machine, (invited paper) CONCUR'95, Pittsburgh (USA), August 1995, LNCS 962, Springer Verlag.","DOI":"10.1007\/3-540-60218-6_6"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB17","doi-asserted-by":"crossref","unstructured":"B. Steffen, T. Margaria, V. Braun: The Electronic Tool Integration platform: concepts and design, Int. J. STTT (1997)1, Springer Verlag, 1997, pp. 9\u201330","DOI":"10.1007\/s100090050003"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB18","series-title":"Correct System Design \u2014 Issues, Methods and Perspectives","first-page":"390","article-title":"METAFrame in Practice: Intelligent Network Service Design","author":"Steffen","year":"1999"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB19","unstructured":"Sun: Java Remote Method Invocation. http:\/\/java.sun.com\/products\/jdk\/rmi."},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB20","article-title":"A Lattice-Theoretical Fixpoint Theorem and its Applications","volume":"V. 5","author":"Tarski","year":"1955","journal-title":"Pacific Journal of Mathematics"},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB21","unstructured":"Telelogic: Telelogic Tau, http:\/\/www.telelogic.com."},{"key":"10.1016\/S1571-0661(04)80404-3_NEWBIB22","unstructured":"J. Tretmans, A. Belinfante: Automatic testing with formal methods, In EuroSTAR'99: 7th European Int. Conference on Software Testing, Analysis & Review - EuroStar Conferences, Galway, Ireland, November 8\u201312, 1999."}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804043?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104804043?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:04:38Z","timestamp":1761609878000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104804043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["S1571066104804043"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80404-3","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2002,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination","name":"articletitle","label":"Article Title"},{"value":"Electronic Notes in Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S1571-0661(04)80404-3","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2002 Published by Elsevier B.V.","name":"copyright","label":"Copyright"}]}}