{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:51:36Z","timestamp":1742392296688},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008774"},{"type":"electronic","value":"9783540365730"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36573-7_12","type":"book-chapter","created":{"date-parts":[[2007,9,2]],"date-time":"2007-09-02T23:22:33Z","timestamp":1188775353000},"page":"170-198","source":"Crossref","is-referenced-by-count":15,"title":["Automatic Generation of Conformance Tests from Message Sequence Charts"],"prefix":"10.1007","author":[{"given":"Paul","family":"Baker","sequence":"first","affiliation":[]},{"given":"Paul","family":"Bristow","sequence":"additional","affiliation":[]},{"given":"Clive","family":"Jervis","sequence":"additional","affiliation":[]},{"given":"David","family":"King","sequence":"additional","affiliation":[]},{"given":"Bill","family":"Mitchell","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"issue":"2","key":"12_CR1","first-page":"70","volume":"17","author":"R. Alur","year":"1996","unstructured":"R. Alur, G. J. Holzmann, and D. Peled. An analyser for Message Sequence Charts. Software Concepts and Tools, 17(2):70\u201377, 1996. Information is available from http:\/\/cm.bell-labs.com\/cm\/cs\/what\/ubet\/.","journal-title":"Software Concepts and Tools"},{"key":"12_CR2","unstructured":"AT&T Labs-Research. DOT on-line reference pages. Information is available from http:\/\/www.research.att.com\/~north\/graphviz\/."},{"key":"12_CR3","unstructured":"B-novative. daVinci graph visualisation tool. Information is available from http:\/\/www.b-novative.com\/."},{"key":"12_CR4","unstructured":"P. Baker, C. Jervis, and D. King. An optimised algorithm for test script generation. Patent GB18137.0, 2000."},{"key":"12_CR5","unstructured":"P. Baker, C. Jervis, and W. P. R. Mitchell. Method of generating coordinating messages for distributed test scripts. Patent GB18138.8, 2000."},{"key":"12_CR6","unstructured":"ETSI. Terrestrial Trunked Radio (TETRA) standard. European Telecommunications Standards Institute (ETSI). Available from http:\/\/www.etsi.org\/."},{"key":"12_CR7","unstructured":"ETSI. Methods for Testing and Specification; The Testing and Control Notation version 3 (TTCN-3); Part 1: TTCN-3 Core Language. European Telecommunications Standards Institute (ETSI), 2001. Available from http:\/\/www.etsi.org\/."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"J. Grabowski, B. Koch, M. Schmitt, and D. Hogrefe. SDL and MSC based test generation for distributed test architectures. In R. Dssouli, G. v. Bochmann, and Y. Lahav, editors, In: SDL\u201999-The next Millennium. Elsevier, June 1999. Available from http:\/\/www.itm.mu-luebeck.de\/.","DOI":"10.1016\/B978-044450228-5\/50026-6"},{"key":"12_CR9","unstructured":"ITU-T. Specification and Description Language (SDL), ITU-T Recommendation Z.100. International Telecommunications Union \u2014 Telecommunications Standards Sector (ITU-T), 1996. Available from http:\/\/www.itu.int ."},{"key":"12_CR10","unstructured":"ITU-T. TTCN-2 standard, Conformance Testing Methodology and Framework-Part 3: The Tree and Tabular Combined Notation (TTCN), ITU-T Recommendation X.292. International Telecommunications Union \u2014 Telecommunications Standards Sector (ITU-T), 1997. Available from http:\/\/www.itu.int."},{"key":"12_CR11","unstructured":"ITU-T. Message Sequence Charts (MSC), ITU-T Recommendation Z.120. International Telecommunications Union \u2014 Telecommunications Standards Sector (ITU-T), 2001. Available from http:\/\/www.itu.int."},{"key":"12_CR12","unstructured":"W. P. R. Mitchell. Characterising concurrent tests based on Message Sequence Chart requirements. In B. Bondar, editor, Proceedings of Applied Telecommunication Symposium (ATS), 2001."},{"key":"12_CR13","unstructured":"Motorola, Inc. Dimetra. Information is available from http:\/\/www.motorola.com\/ cgiss\/emea\/tetra\/home.html."},{"key":"12_CR14","unstructured":"Telelogic AB. Tau 4.3 Reference Manual. Sweden. Available from http:\/\/www.telelogic.com\/."},{"key":"12_CR15","unstructured":"Teradyne Inc. TestMaster Reference Manual, 2000. Available from http:\/\/www.teradyne.com\/."}],"container-title":["Lecture Notes in Computer Science","Telecommunications and beyond: The BroaderApplicability of SDL and MSC"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36573-7_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T19:38:28Z","timestamp":1556825908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36573-7_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008774","9783540365730"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-36573-7_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}