{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:27:12Z","timestamp":1725564432865},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208945"},{"type":"electronic","value":"9783540246176"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24617-6_13","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:26:17Z","timestamp":1283685977000},"page":"178-191","source":"Crossref","is-referenced-by-count":5,"title":["Automatic Generation of Test Purposes for Testing Distributed Systems"],"prefix":"10.1007","author":[{"given":"Olaf","family":"Henniger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miao","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan","family":"Ural","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Specification and Description Language (SDL-2000). ITU-T Recommendation Z.100 (1999)"},{"key":"13_CR2","unstructured":"Information technology \u2013 Open Systems Interconnection \u2013 Conformance testing methodology and framework \u2013 Part 1: General concepts, International Standard ISO\/IEC 9646-1, 2nd edn. (1994)"},{"key":"13_CR3","unstructured":"Message Sequence Chart (MSC). ITU-T Recommendation Z.120 (1999)"},{"key":"13_CR4","unstructured":"Koch, B., Grabowski, J., Hogrefe, D., Schmitt, M.: Autolink \u2013 a tool for automatic test generation from SDL specifications. In: Proc. of the 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, Boca Raton, Florida, USA (1998)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Kerbrat, T., J\u00e9ron, Groz, R.: Automated test generation from SDL specifications. In [17], pp. 135\u2013151","DOI":"10.1016\/B978-044450228-5\/50011-4"},{"key":"13_CR6","unstructured":"Henniger, O.: Test generation from specifications in Estelle and SDL., Ph.D. thesis (in German), Brandenburg Technical University of Cottbus, Germany, Shaker Verlag (2002)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Grabowski, J., Koch, B., Schmitt, M., Hogrefe, D.: SDL and MSC based test generation for distributed test architectures. In [17], pp. 389\u2013404","DOI":"10.1016\/B978-044450228-5\/50026-6"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1016\/S0950-5849(03)00061-2","volume":"45","author":"C. Jard","year":"2003","unstructured":"Jard, C.: Synthesis of distributed testers from true-concurrency models of reactive systems. Information and Software Technology\u00a045, 805\u2013814 (2003)","journal-title":"Information and Software Technology"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Henniger, O., Ulrich, A., K\u00f6nig, H.: Transformation of Estelle modules aiming at test case generation. In: Cavalli, A., Budkowski, S. (eds.) Proc. of IWPTS 1995, Evry, France, pp. 36\u201351 (1995)","DOI":"10.1007\/978-0-387-34988-6_3"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M. Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, Part I. Theoretical Computer Science\u00a013, 85\u2013108 (1981)","journal-title":"Theoretical Computer Science"},{"issue":"2","key":"13_CR11","first-page":"88","volume":"E 66","author":"M. Itoh","year":"1983","unstructured":"Itoh, M., Ichikawa, H.: Protocol verification algorithm using reduced reachability analysis. Transactions of the IECE of Japan\u00a0E 66(2), 88\u201393 (1983)","journal-title":"Transactions of the IECE of Japan"},{"key":"13_CR12","unstructured":"Arakawa, N., Soneoka, T.: A test case generation method for concurrent programs. In: Kroon, J., Heijink, R.J., Brinksma, E. (eds.) Proc. of IWPTS 1991, Leidschendam, The Netherlands, pp. 95\u2013106 (1991)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: A technique of state space search based on unfolding. Formal Methods in System Design\u00a06(1) (1995)","DOI":"10.1007\/BF01384314"},{"issue":"3","key":"13_CR14","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J. Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. Formal Methods in System Design\u00a020(3), 285\u2013310 (2002)","journal-title":"Formal Methods in System Design"},{"key":"13_CR15","unstructured":"Lu, M.: Generation of tests from labeled event structures, M.Sc. thesis, University of Ottawa, Canada (May 2003)"},{"key":"13_CR16","unstructured":"Methods for Testing and Specification; The Testing and Test Control Notation Version 3; Part 3: TTCN-3 Graphical Presentation Format (GFT), ETSI Standard ETSI ES 201 873-3 (February 2003)"},{"key":"13_CR17","unstructured":"Dssouli, R., Bochmann, G.v., Lahav, Y. (eds.): Proc. of the 9th SDL Forum, Montr\u00e9al, Qu\u00e9bec, Canada (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24617-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:30:43Z","timestamp":1558301443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24617-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208945","9783540246176"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24617-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}