{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:41:05Z","timestamp":1742395265818},"reference-count":29,"publisher":"Elsevier BV","issue":"12","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1016\/s0950-5849(03)00061-2","type":"journal-article","created":{"date-parts":[[2003,5,19]],"date-time":"2003-05-19T13:32:55Z","timestamp":1053351175000},"page":"805-814","source":"Crossref","is-referenced-by-count":9,"title":["Synthesis of distributed testers from true-concurrency models of reactive systems"],"prefix":"10.1016","volume":"45","author":[{"given":"Claude","family":"Jard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(03)00061-2_BIB1","article-title":"Principles of distributed test synthesis based on true-concurrency models","author":"Jard","year":"2002","journal-title":"Testcom'2002, Berlin"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB2","unstructured":"ISO\/IEC 9646 IT-OSI, OSI Conformance Testing Methodology and Framework."},{"key":"10.1016\/S0950-5849(03)00061-2_BIB3","series-title":"Proceedings of the 12th International Workshop on Testing of Communicating Systems, Budapest, Hungary","author":"T\u00f6r\u00f6","year":"1999"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB4","series-title":"LNCS 1102","article-title":"Using on-the-fly verification techniques for the generation of test suites","author":"Fernandez","year":"1996"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB5","series-title":"Science of Computer Programming","first-page":"123","article-title":"An experiment in automatic generation of test suites for protocols with verification technology","author":"Fernandez","year":"1997"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB6","series-title":"IFIP TC6 Ninth International Workshop on Testing of Communicating Systems","article-title":"Assessment of automatic generation methods of conformance test suites in an industrial context","author":"Doldi","year":"1996"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB7","series-title":"Proceedings of SDL Forum'97","article-title":"Interconnecting the object-G\u00e9ode and CADP toolsets","author":"Kerbrat","year":"1997"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB8","series-title":"International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), Tokyo, Japan","author":"J\u00e9ron","year":"1998"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB9","first-page":"103","article-title":"Test generation with inputs, outputs and repetitive quiescence","volume":"17","author":"Tretmans","year":"1996","journal-title":"Software, Concept and Tools"},{"issue":"2","key":"10.1016\/S0950-5849(03)00061-2_BIB10","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","article-title":"Depth-first search and linear graph algorithms","volume":"1","author":"Tarjan","year":"1972","journal-title":"SIAM Journal Computing"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB11","series-title":"LNCS 1633","article-title":"Test generation derived from model-checking","author":"J\u00e9ron","year":"1999"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB12","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF01463946","article-title":"Branching processes of petri nets","volume":"28","author":"Engelfriet","year":"1991","journal-title":"Acta Informatica"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB13","series-title":"LNCS 1664","article-title":"An unfolding algorithm for synchronous products of transition systems","author":"Esparza","year":"1999"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB14","series-title":"LNCS 2154","article-title":"Towards an efficient algorithm for unfolding petri nets","author":"Khomenko","year":"2001"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB15","series-title":"Proceedings of the IEEE Automated Software Engineering Conference (ASE'2001), San Diego","author":"Ledru","year":"2001"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB16","series-title":"Formal Approaches to Testing of Software (FATES), Aalbord, Denmark","article-title":"Towards formal test purposes","author":"De Vries","year":"2001"},{"issue":"3","key":"10.1016\/S0950-5849(03)00061-2_BIB17","first-page":"503","article-title":"Distributing automata for asynchronous network of processors","volume":"31","author":"Caillaud","year":"1997","journal-title":"European Journal on Automated Systems (JESA)"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB18","series-title":"IFIP","article-title":"Towards automatic distribution of testers for distributed conformance testing","volume":"vol. 18","author":"Jard","year":"1998"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB19","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0920-5489(94)90003-5","article-title":"Test generation with respect to distributed interfaces","volume":"16","author":"Luo","year":"1994","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB20","series-title":"IFIP","article-title":"Deriving co-ordinated testers for interoperability","author":"Castanet","year":"1994"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB21","series-title":"Proceedings of the Ninth International Workshop on Testing of Communicating Systems, Darmstadt","author":"Kim","year":"1996"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB22","series-title":"IFIP","article-title":"An enhanced model for testing asynchronous communicating systems","volume":"vol. 19","author":"Kim","year":"1999"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB23","series-title":"IFIP","article-title":"Specification-based testing of concurrent systems","volume":"vol. 17","author":"Ulrich","year":"1997"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB24","first-page":"255","article-title":"On test case generation from asynchronously communicating state machines","volume":"vol. 10","author":"Henniger","year":"1997"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB25","series-title":"Proceedings of the 12th International Workshop on Testing of Communicating Systems, Budapest, Hungary","author":"Ulrich","year":"1999"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB26","series-title":"Information and Software Technology","volume":"vol. 41","author":"Cacciari","year":"1999"},{"key":"10.1016\/S0950-5849(03)00061-2_BIB27","unstructured":"http:\/\/wwwbrauer.informatik.tu-muenchen.de\/gruppen\/theorie\/KIT\/."},{"key":"10.1016\/S0950-5849(03)00061-2_BIB28","series-title":"Ordered Sets","first-page":"125","article-title":"Linear extension of ordered sets","author":"Bonnet","year":"1982"},{"issue":"3","key":"10.1016\/S0950-5849(03)00061-2_BIB29","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1051\/ita\/1995290302271","article-title":"On-line computations of the ideal lattice of posets","volume":"29","author":"Jard","year":"1995","journal-title":"RAIRO ITA, Theoretical Informatics and Applications"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000612?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000612?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T06:50:23Z","timestamp":1553151023000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903000612"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":29,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S0950584903000612"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00061-2","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}