{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:02Z","timestamp":1725485522905},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001416"},{"type":"electronic","value":"9783540361350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36135-9_8","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:43:21Z","timestamp":1180665801000},"page":"114-129","source":"Crossref","is-referenced-by-count":3,"title":["Formal Test Purposes and the Validity of Test Cases"],"prefix":"10.1007","author":[{"given":"Peter H.","family":"Deussen","sequence":"first","affiliation":[]},{"given":"Stephan","family":"Tobies","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"8_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BFb0035393","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"H. Ben-Abdallah","year":"1997","unstructured":"H. Ben-Abdallah and S. Leue. Syntactic detection of process divergence and non-local choice in message sequence charts. In E. Brinksma, editor, Tools and Algorithms for the Construction and Analysis of Systems, volume 1217 of Lecture Notes in Computer Science, pages 259\u2013274. Springer Verlag, 1997."},{"key":"8_CR2","unstructured":"P. Deussen. Concurrent automata. Technical Report 1-05\/1998, Brandenburg Tech. Univ. Cottbus, 1998."},{"key":"8_CR3","unstructured":"ETSI. The tree and tabular combined notation version 3; part 1: TTCN-3 core language. Technical Report ES 201 873-1, ETSI, 2001."},{"issue":"2","key":"8_CR4","doi-asserted-by":"crossref","first-page":"427","DOI":"10.3233\/FI-1981-4210","volume":"4","author":"J. Grabowski","year":"1981","unstructured":"J. Grabowski. On partial languages. Fundamenta Informaticae, 4(2):427\u2013498, 1981.","journal-title":"Fundamenta Informaticae"},{"key":"8_CR5","unstructured":"J. Grabowski and D. Hogrefe. TTCN SDL-and MSC-based specification and automated test case generation for inap. In Proceedings of the 8th International Conference on Telecommunication Systems (ICTS\u20192000)-Modeling and Analysis, Nashville, March 2000."},{"key":"8_CR6","unstructured":"ITU-T. ITU-T recommendation z.120 message sequence chart (MSC). Technical report, ITU-T, 1999."},{"key":"8_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45522-1","volume-title":"An execution semantics of MSC-2000","author":"B. Jonsson","year":"2001","unstructured":"B. Jonsson and G. Padilla. An execution semantics of MSC-2000. In R. Reed and J. Reed, editors, Proceedings of the 10th Internation SDL-Forum, number 2078 in Lecture Notes in Computer Science. Springer Verlag, 2001."},{"key":"8_CR8","unstructured":"J.-P. Katoen and L. Lambert. Pomsets for message sequence charts. In Proc. of 1stWorkshop of the SDL Forum Society on SDL and MSC, SAM98, Berlin, 1998."},{"key":"8_CR9","unstructured":"S. Mauw and M.A. Reniers. Operational semantics for MSC\u201996. In A. Cavalli and D. Vincent, editors, Tutorials of the Eighth SDL Forum SDl\u201997: Time for Testing-SDL, MSC and Trends, pages 135\u2013152, Evry, France, 1997. Institut national des t\u00e9l\u00e9communications."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"A. Mazurkiewicz. Introduction to trace theory. In V. Diekert and G. Rozenberg, editors, The Book of Traces, chapter 1, pages 3\u201342.World Scientific, Singapore-New Jersey-London-Hong Kong, 1995.","DOI":"10.1142\/9789814261456_0001"},{"issue":"1","key":"8_CR11","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF01379149","volume":"15","author":"V. Pratt","year":"1986","unstructured":"V. Pratt. Modelling concurrency with partial orders. International Journal of Parallel Programming, 15(1):33\u201371, 1986.","journal-title":"International Journal of Parallel Programming"},{"key":"8_CR12","unstructured":"R. Scheurer, J. Grabowski, and D. Hogrefe. Revised comparison of an automatically generated and a manually specified test suite for the B-ISDN protocol SSCOP. In H. K\u00f6nig and P. Langend\u00f6rfer, editors, FBT\u201998-Formale Beschreibungstechniken f\u00fcr verteilte Systeme. Shaker Verlag, Aachen, 1998. Available online from http:\/\/www.itm.mu-luebeck.de\/ ."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"S. Schhulz and T. Vassiliou-Gioles. Implementation of TTCN-3 test systems using the TRI. In I. Schieferdecker, K. H, and A. Wolisz, editors, Testing of Communication Systems XIV, Proc. of TestCom-2002, pages 425\u2013442, Berlin, Germany, 2002. Kluwer Academic Publishers.","DOI":"10.1007\/978-0-387-35497-2_29"},{"key":"8_CR14","unstructured":"M. Schmitt, M. Ebner, and J. Grabowski. Test generation with autolink and testcomposer. In Proceedings of the 2nd Workshop of the SDL Forum Society on SDL and MSC (SAM\u20192000). SDL Forum Society, 2000. Proceedings available online from http:\/\/www.irisa.fr\/manifestations\/2000\/sam2000\/ ."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36135-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,14]],"date-time":"2021-08-14T12:46:42Z","timestamp":1628945202000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}