{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T04:12:42Z","timestamp":1749615162017,"version":"3.41.0"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319466125"},{"type":"electronic","value":"9783319466132"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46613-2_8","type":"book-chapter","created":{"date-parts":[[2016,9,12]],"date-time":"2016-09-12T13:31:35Z","timestamp":1473687095000},"page":"116-131","source":"Crossref","is-referenced-by-count":3,"title":["Evolving the ETSI Test Description Language"],"prefix":"10.1007","author":[{"given":"Philip","family":"Makedonski","sequence":"first","affiliation":[]},{"given":"Guszt\u00e1v","family":"Adamis","sequence":"additional","affiliation":[]},{"given":"Martti","family":"K\u00e4\u00e4rik","sequence":"additional","affiliation":[]},{"given":"Finn","family":"Kristoffersen","sequence":"additional","affiliation":[]},{"given":"Xavier","family":"Zeitoun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,13]]},"reference":[{"key":"8_CR1","unstructured":"Docx4j. http:\/\/www.docx4java.org . Accessed 25 June 2016"},{"key":"8_CR2","unstructured":"Papyrus. https:\/\/www.eclipse.org\/papyrus\/ . Accessed 20 June 2016"},{"key":"8_CR3","unstructured":"Robot framework. https:\/\/robotframework.org . Accessed 20 June 2016"},{"key":"8_CR4","unstructured":"Sirius. https:\/\/www.eclipse.org\/sirius\/ . Accessed 20 June 2016"},{"key":"8_CR5","unstructured":"Tdl. http:\/\/tdl.etsi.org . Accessed 20 June 2016"},{"key":"8_CR6","unstructured":"Xtext. https:\/\/eclipse.org\/Xtext\/ . Accessed 20 June 2016"},{"key":"8_CR7","unstructured":"Association for Standardisation of Automation, Measuring Systems (ASAM): Release Presentation: ASAM AE ATX V1.0.0, Automotive Test Exchange Format, July 2012. http:\/\/www.asam.net\/nc\/home\/asam-standards.html"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A subset of precise uml for model-based testing. In: Proceedings of the 3rd International Workshop on Advances in Model-based Testing, A-MOST 2007, pp. 95\u2013104. ACM, New York (2007)","DOI":"10.1145\/1291535.1291545"},{"key":"8_CR9","unstructured":"ETSI EG 203 130: Methods for Testing and Specification (MTS); Model-Based Testing (MBT); Methodology for Standardised Test Specification Development, v1.1.1. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, April 2013"},{"key":"8_CR10","unstructured":"ETSI ES 201 873\u20131: Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; - Part 1: Core Language, v4.8.1. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, July 2016"},{"key":"8_CR11","unstructured":"ETSI ES 202 553: Methods for Testing and Specification (MTS); TPLan: A notation for expressing Test Purposes, v1.2.1. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, June 2009"},{"key":"8_CR12","unstructured":"ETSI ES 202 951: Methods for Testing and Specification (MTS); Model-Based Testing (MBT); Requirements for Modelling Notations, v1.1.1. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, July 2011"},{"key":"8_CR13","unstructured":"ETSI ES 203 119\u20131: Methods for Testing and Specification (MTS); The Test Description Language (TDL); Part 1: Abstract Syntax and Associated Semantics, v1.3.0. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, July 2016"},{"key":"8_CR14","unstructured":"ETSI ES 203 119\u20132: Methods for Testing and Specification (MTS); The Test Description Language (TDL); Part 2: Graphical Syntax, v1.2.0. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, July 2016"},{"key":"8_CR15","unstructured":"ETSI ES 203 119\u20133: Methods for Testing and Specification (MTS); The Test Description Language (TDL); Part 3: Exchange Format, v1.2.0. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, July 2016"},{"key":"8_CR16","unstructured":"ETSI ES 203 119\u20134: Methods for Testing and Specification (MTS); The Test Description Language (TDL); Part 4: Structured Test Objective Specification (Extension), v1.2.0. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, July 2016"},{"key":"8_CR17","unstructured":"ETSI ES 102 840: Methods for Testing and Specification (MTS); Model-Based Testing (MBT); Model-Based Testing in Standardisation, v1.2.1. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, February 2011"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Grossmann, J., M\u00fcller, W.: A formal behavioral semantics for TestML. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006, pp. 441\u2013448, November 2006","DOI":"10.1109\/ISoLA.2006.37"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Guduvan, A., Waeselynck, H., Wiels, V., Durrieu, G., Fusero, Y., Schieber, M.: A meta-model for tests of avionics embedded systems. In: MODELSWARD 2013, Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19\u201321 February 2013, pp. 5\u201313 (2013)","DOI":"10.1109\/ISORC.2013.6913191"},{"key":"8_CR20","unstructured":"International Telecommunication Union (ITU): Recommendation Z.120 Annex B: Formal Semantics of Message Sequence Chart (MSC), 04\/98. Online: Z.120 Annex B (04\/98), Standard document. URL: http:\/\/www.itu.int\/rec\/T-REC-Z.120-199804-I!AnnB\/en"},{"key":"8_CR21","unstructured":"International Telecommunication Union (ITU): Recommendation Z.120: Message Sequence Chart (MSC), 02\/11. Online: Z.120 (02\/11), Standard document. URL: http:\/\/www.itu.int\/rec\/T-REC-Z.120-201102-I\/en"},{"key":"8_CR22","unstructured":"ISO: Road vehicles - Open Test sequence eXchange format - Part 1: General information and use cases. International ISO multipart standard No. 13209\u20131 (2011)"},{"key":"8_CR23","unstructured":"ISO: Road vehicles - Open Test sequence eXchange format - Part 2: Core data model specification and requirements. International ISO multipart standard No. 13209\u20132 (2012)"},{"key":"8_CR24","unstructured":"ISO: Road vehicles - Open Test sequence eXchange format - Part 3: Standard extensions and requirements. International ISO multipart standard No. 13209\u20133 (2012)"},{"key":"8_CR25","unstructured":"ISO\/IEC: Information Technology - Open Systems Interconnection - Conformance testing methodology and framework - Part 1: General Concepts. International ISO\/IEC multipart standard No. 9646\u20131 (1994\u20131998)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Kanstr\u00e9n, T., Puolitaival, O.P., Rytky, V.M., Saarela, A., Ker\u00e4nen, J.S.: Experiences in setting up domain-specific model-based testing. In: 2012 IEEE International Conference on Industrial Technology (ICIT), pp. 319\u2013324, March 2012","DOI":"10.1109\/ICIT.2012.6209957"},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1007\/978-3-642-11447-2_13","volume-title":"Rigorous Methods for Software Construction and Analysis","author":"DS Kolovos","year":"2009","unstructured":"Kolovos, D.S., Paige, R.F., Polack, F.A.C.: On the evolution of OCL for capturing structural constraints in modelling languages. In: Abrial, J.-R., Gl\u00e4sser, U. (eds.) Rigorous Methods for Software Construction and Analysis. LNCS, vol. 5115, pp. 204\u2013218. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-11447-2_13"},{"issue":"4","key":"8_CR28","doi-asserted-by":"crossref","first-page":"489","DOI":"10.1007\/s10270-010-0157-9","volume":"10","author":"Z Micskei","year":"2010","unstructured":"Micskei, Z., Waeselynck, H.: The many meanings of UML 2 Sequence diagrams: a survey. Softw. Syst. Model. 10(4), 489\u2013514 (2010)","journal-title":"Softw. Syst. Model."},{"key":"8_CR29","unstructured":"Object Management Group OMG: UML Profile For MARTE: Modeling and Analysis of Real-Time Embedded Systems, Version 1.1. OMG Document Number: formal\/2011-06-02, Standard document, June 2011. URL: http:\/\/www.omg.org\/spec\/MARTE\/1.1\/"},{"key":"8_CR30","unstructured":"Object Management Group OMG: Object Constraint Language, Version 2.3.1. OMG Document Number: formal\/2012-05-09, Standard document, May 2012. URL: http:\/\/www.omg.org\/spec\/OCL\/2.3.1\/"},{"key":"8_CR31","unstructured":"Object Management Group OMG: UML Testing Profile (UTP), Version 1.2. OMG Document Number: formal\/2013-04-03, Standard document, April 2013. URL: http:\/\/www.omg.org\/spec\/UTP\/1.2\/"},{"key":"8_CR32","unstructured":"Object Management Group OMG: CCDL Whitepaper. Razorcat Technical Report, 23 January 2014, January 2014. http:\/\/www.razorcat.eu\/PDF\/Razorcat_Technical_Report_CCDL_Whitepaper_02.pdf"},{"key":"8_CR33","unstructured":"Object Management Group OMG: Meta Object Facility Core, Version 2.4.2. OMG Document Number: formal\/2014-04-05, Standard document, April 2014. URL: http:\/\/www.omg.org\/spec\/MOF\/2.4.2\/"},{"key":"8_CR34","unstructured":"Object Management Group OMG: XML Metadata Interchange (XMI), Version 2.4.2. OMG Document Number: formal\/2014-04-06, Standard document. URL: http:\/\/www.omg.org\/spec\/XMI\/2.5.1\/"},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Pajunen, T., Takala, T., Katara, M.: Model-based testing with a general purpose keyword-driven test automation framework. In: ICSTW, pp. 242\u2013251. IEEE, March 2011","DOI":"10.1109\/ICSTW.2011.39"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling. Technology-Specific Aspects of Models"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46613-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T18:14:34Z","timestamp":1749579274000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46613-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319466125","9783319466132"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46613-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}