{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:39Z","timestamp":1725489459928},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730651"},{"type":"electronic","value":"9783540730668"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73066-8_20","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T04:07:13Z","timestamp":1187410033000},"page":"292-304","source":"Crossref","is-referenced-by-count":3,"title":["TPLan-A Notation for Expressing Test Purposes"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Schulz","sequence":"first","affiliation":[]},{"given":"Anthony","family":"Wiles","sequence":"additional","affiliation":[]},{"given":"Steve","family":"Randall","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"ETSI ES 202 553: Methods for Testing and Specification (MTS); TPLan: A Notation for expressing Test Purposes, European Telecommunications Standards Institute, Sophia Antipolis (2007)"},{"key":"20_CR2","doi-asserted-by":"publisher","DOI":"10.1002\/0470017317","volume-title":"An Introduction to TTCN-3","author":"C. Willcock","year":"2005","unstructured":"Willcock, C., et al.: An Introduction to TTCN-3. Wiley & Sons, Chichester (2005)"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Moseley, S., Randall, S., Wiles, A.: Experience within ETSI of the combined roles of conformance testing and interoperability testing. In: Proceedings of 3rd Conference on Standardization and Innovation in Information Technology (SIIT), Delft, The Netherlands, October, pp. 177\u201389 (2003)","DOI":"10.1109\/SIIT.2003.1251206"},{"key":"20_CR4","unstructured":"Randall, S.: Descriptive SDL. Telektronikk,Telenor AS, (4), pp. 107\u201312 (2000)"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-24704-3_10","volume-title":"Testing of Communicating Systems","author":"H. Neukirchen","year":"2004","unstructured":"Neukirchen, H., Dai, Z.R., Grabowski, J.: Communication Patterns for Expressing Real-Time Requirements Using MSC and their Application to Testing. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol.\u00a02978, pp. 144\u2013159. Springer, Heidelberg (2004)"},{"key":"20_CR6","first-page":"129","volume-title":"ISSTA 2004","author":"A. Hartma","year":"2004","unstructured":"Hartma, A., Nagin, K.: The AGEDIS tools for model based testing. In: ISSTA 2004. Proceedings of the 2004 ACM SIGSOFT international Symposium on Software Testing and Analysis, Boston, MA, pp. 129\u2013132. ACM Press, New York (2004)"},{"key":"20_CR7","unstructured":"Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework - Part 1: General concepts, Geneva (1994), ISO\/IEC 9646-1"},{"key":"20_CR8","unstructured":"Information Technology - Open Systems Interconnection - Conformance Testing Methodology and Framework - Part 2: Abstract Test Suite Specification, Geneva (1994), ISO\/IEC 9646-2"},{"key":"20_CR9","unstructured":"Jard, C., Jeron, T.: TGV: theory, principles and algorithms. In: IDPT 2000. Proceedings of 6th World Conference on Integrated Design and Process Technology, Pasadena, California, USA (June 2002)"},{"key":"20_CR10","unstructured":"Desmoulin, A., Viho, C.: Formalizing Interoperability for Test Case Generation Purpose. In: Proceedings of IEEE Nasa ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, Columbia, MD, USA (September 2005)"},{"key":"20_CR11","unstructured":"Tretmans, J.: A Formal Approach to Conformance Testing, Ph.D. Thesis, University of Twente, The Netherlands (1992)"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"P. Deussen","year":"2002","unstructured":"Deussen, P., Tobies, S.: Formal Test Purposes and The Validity of Test Cases. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, Springer, Heidelberg (2002)"},{"key":"20_CR13","volume-title":"SDL 1993 - Using Objects","author":"J. Grabowski","year":"1993","unstructured":"Grabowski, J., Hogrefe, D., Nahm, R.: Test Case Generation with Test Purpose Specification by MSCs. In: Faergemand, O., Sarma, A. (eds.) SDL 1993 - Using Objects, October 1993, North-Holland, Amsterdam (1993)"},{"key":"20_CR14","unstructured":"Object Management Group: UML 2.0 Testing Profile Specification (2003)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Deering, S., Hinden, R.: Internet Protocol, Version 6 (IPv6) Specification. IETF RFC 2460 (December 1998)","DOI":"10.17487\/rfc2460"},{"key":"20_CR16","unstructured":"ETSI TS 102 490 (V1.3.1): Electromagnetic compatibility and Radio spectrum Matters (ERM); Peer-to-Peer Digital Private Mobile Radio using FDMA with a channel spacing of 6,25 kHz with e.r.p of up to 500 mW, European Telecommunications Standards Institute, Sophia Antipolis (2006)"},{"key":"20_CR17","unstructured":"ETSI TS 102 237-1 (V4.1.1): Telecommunications and Internet Protocol Harmonization Over Networks (TIPHON) Release 4; Interoperability test methods and approaches; Part 1: Generic approach to interoperability testing, European Telecommunications Standards Institute, Sophia Antipolis (2003)"},{"key":"20_CR18","unstructured":"http:\/\/www.tplan.info"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73066-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T03:22:27Z","timestamp":1556767347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73066-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730651","9783540730668"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73066-8_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}