{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:23:08Z","timestamp":1725506588078},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789161"},{"type":"electronic","value":"9783540789178"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78917-8_10","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T07:38:34Z","timestamp":1207985914000},"page":"292-319","source":"Crossref","is-referenced-by-count":2,"title":["The Test Technology TTCN-3"],"prefix":"10.1007","author":[{"given":"Ina","family":"Schieferdecker","sequence":"first","affiliation":[]},{"given":"Jens","family":"Grabowski","sequence":"additional","affiliation":[]},{"given":"Theofanis","family":"Vassiliou-Gioles","sequence":"additional","affiliation":[]},{"given":"George","family":"Din","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Baker, P., Dai, Z.R., Grabowski, J., Haugen, O., Lucio, S., Samuelsson, E., Schieferdecker, I., Williams, C.: The UML\u00a02.0 Testing Profile. In: Proceedings by ASQF Press, Nuremberg, Germany (September 2004) (conquest 2004)"},{"key":"10_CR2","unstructured":"Burton, S., Baresel, A., Schieferdecker, I.: Automated testing of automotive telematics systems using TTCN-3. In: Proceedings by Fraunhofer IRB Verlag, 3rd Workshop on System Testing and Validation (SV 2004), Paris, France (December 2004)"},{"issue":"4","key":"10_CR3","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/s100090050044","volume":"2","author":"R.G. Vries de","year":"2000","unstructured":"de Vries, R.G., Tretmans, J.: On-the-fly conformance testing using SPIN. International Journal on Software Tools for Technology Transfer (STTT)\u00a02(4), 382\u2013393 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"key":"10_CR4","unstructured":"Schieferdecker, I., et\u00a0al. The TTCN-3 Certificate: An ETSI\/GTB Certification Scheme for TTCN-3 (2007), http:\/\/www.german-testing-board.info"},{"key":"10_CR5","unstructured":"ETSI TISPAN. IMS\/NGN Performance Benchmark, Technical Standard (TS) 186 008, Sophia-Antipolis, France (February 2007)"},{"key":"10_CR6","unstructured":"ETSI Standard (ES) 201 873-1 V3.2.1 (2007\u201302): Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part\u00a01: TTCN-3 Core Language. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis France (February 2007)"},{"key":"10_CR7","unstructured":"ETSI Standard (ES) 201 873-2 V3.2.1 (2007\u201302): Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part\u00a02: TTCN-3 Tabular presentation Format (TFT). European Telecommunications Standards Institute (ETSI), Sophia-Antipolis France (February 2007)"},{"key":"10_CR8","unstructured":"ETSI Standard (ES) 201 873-3 V3.2.1 (2007\u201302): Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 3: TTCN-3 Graphical presentation Format (GFT). European Telecommunications Standards Institute (ETSI), Sophia-Antipolis France (February 2007)"},{"key":"10_CR9","unstructured":"ETSI Standard (ES) 201 873-4 V3.2.1 (2007\u201302): Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 4: TTCN-3 Operational Semantics. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis France (February 2007)"},{"key":"10_CR10","unstructured":"ETSI Standard (ES) 201 873-5 V3.2.1 (2007\u201302): Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 5: TTCN-3 Runtime Interface (TRI). European Telecommunications Standards Institute (ETSI), Sophia-Antipolis France (February 2007)"},{"key":"10_CR11","unstructured":"ETSI Standard (ES) 201 873-6 V3.2.1 (2007\u201302): Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 6: TTCN-3 Control Interface (TCI). European Telecommunications Standards Institute (ETSI), Sophia-Antipolis France (February 2007)"},{"key":"10_CR12","unstructured":"ETSI Standard (ES) 201 873-8 V3.2.1 (2007\u201302): Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 8: Using IDL with TTCN-3. European Telecommunications Standards Institute (ETSI), Sophia-Antipolis France (February 2007)"},{"key":"10_CR13","unstructured":"TTCN-3 User Conference Series (2004-2007), http:\/\/www.ttcn-3.org"},{"key":"10_CR14","unstructured":"ETSI Technical Report (TR) 101\u00a0666 (1999\u20132005): Information Technology \u2014 Open Systems Interconnection Conformance testing methodology and framework; The Tree and Tabular Combined Notation (TTCN) (Ed.\u00a02++). European Telecommunications Standards Institute (ETSI), Sophia-Antipolis France (May 1999)"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Grabowski, J., Hogrefe, D., Rethy, G., Schieferdecker, I., Wiles, A., Willcock, C.: An Introduction into the Testing and Test Control Notation (TTCN-3). Computer Networks Journal (2003)","DOI":"10.1016\/S1389-1286(03)00249-4"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Gross, H.-G., Schieferdecker, I., Din, G.: Model-Based Built-In Tests. In: ITM 2004, International workshop on Model Based Testing, co-located with ETAPS 2004, Barcelona, Spain, January 2004. Electronic Notes in Theoretical Computer Science, vol.\u00a0111 (2004)","DOI":"10.1016\/j.entcs.2004.12.001"},{"key":"10_CR17","unstructured":"ISO\/IEC IS 9646. Information Technology - OSI Conformance Testing Methodology and Framework. International Multipart Standard 9646, Geneva, Switzerland (February 1992-1996)"},{"key":"10_CR18","unstructured":"ITU-T Recommendations X.680-683 (2002): Information Technology \u2014 Abstract Syntax Notation One (ASN.1): \u2013 X.680: Specification of Basic Notation \u2013 X.681: Information Object Specification \u2013 X.682: Constraint Specification \u2013 X.683: Parameterization of ASN.1 Specifications. ITU Telecommunication Standards Sector, Geneva Switzerland (2002)"},{"key":"10_CR19","unstructured":"ITU-T Recommendation Z.120: Message Sequence Chart (MSC). ITU Telecommunication Standards Sector, Geneva Switzerland (1999)"},{"key":"10_CR20","volume-title":"Testing Computer Software","author":"C. Kaner","year":"1999","unstructured":"Kaner, C., Falk, J., Nguyen, H.Q.: Testing Computer Software, 2nd edn. John Wiley & Sons, Ltd, Chichester (1999)","edition":"2"},{"key":"10_CR21","volume-title":"Agile Software Development: Principles, Patterns, and Practices","author":"R.C. Martin","year":"2003","unstructured":"Martin, R.C.: Agile Software Development: Principles, Patterns, and Practices, Upper Saddle River, NJ, USA. Prentice Hall PTR, Englewood Cliffs (2003)"},{"key":"10_CR22","volume-title":"The Art of Software Testing","author":"G.J. Myers","year":"2004","unstructured":"Myers, G.J. (Revised by\u00a0C.\u00a0Sandler, T.\u00a0Badgett, and T.M. Thomas): The Art of Software Testing, 2nd edn. John Wiley & Sons, Ltd, Chichester (2004)","edition":"2"},{"key":"10_CR23","unstructured":"Object Management\u00a0Group (OMG). Common Object Request Broker Architecture (CORBA): Core Specification, Version 3.0.3 (16.08.2005) (March 2004), http:\/\/www.omg.org\/docs\/formal\/04-03-01.pdf"},{"key":"10_CR24","unstructured":"Object Management\u00a0Group (OMG). UML 2.0 Testing Profile (April 2004), http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/2004-04-02"},{"key":"10_CR25","unstructured":"Schieferdecker, I.: The UML 2.0 Test Profile as a Basis for Integrated System and Test Development. In: Proceedings by K\u00f6llen Druck+Verlag GmbH, Jahrestagung der Gesellschaft f\u00fcr Informatik, Bonn, Germany, vol.\u00a035 (September 2005)"},{"key":"10_CR26","series-title":"Lecture Notes in Computer Science","volume-title":"Testing of Communicating Systems","author":"I. Schieferdecker","year":"2003","unstructured":"Schieferdecker, I., Dai, Z.R., Grabowski, J., Rennoch, A.: The UML 2.0 Testing Profile and its Relation to TTCN-3. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, Springer, Heidelberg (2003)"},{"key":"10_CR27","series-title":"Lecture Notes in Computer Science","volume-title":"Applying Formal Methods: Testing, Performance, and M\/E-Commerce","author":"I. Schieferdecker","year":"2004","unstructured":"Schieferdecker, I., Din, G.: A Metamodel for TTCN-3. In: N\u00fa\u00f1ez, M., Maamar, Z., Pelayo, F.L., Pousttchi, K., Rubio, F. (eds.) FORTE 2004. LNCS, vol.\u00a03236, Springer, Heidelberg (2004)"},{"key":"10_CR28","doi-asserted-by":"crossref","unstructured":"Schieferdecker, I., Din, G., Apostolidis, D.: Distributed Functional and Load tests for Web services. International Journal on Software Tools for Technology Transfer (STTT) (2004)","DOI":"10.1007\/s10009-004-0165-6"},{"key":"10_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36573-7_15","volume-title":"Telecommunications and beyond: The Broader Applicability of SDL and MSC","author":"I. Schieferdecker","year":"2003","unstructured":"Schieferdecker, I., Grabowski, J.: The Graphical Format of TTCN-3 and its Relation to UML and MSC. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol.\u00a02599, Springer, Heidelberg (2003)"},{"key":"10_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-75664-4_13","volume-title":"Software Technologies for Embedded and Ubiquitous Systems","author":"I. Schieferdecker","year":"2007","unstructured":"Schieferdecker, I., Grossmann, J.: Testing Embedded Control Systems with TTCN-3. In: Obermaisser, R., Nah, Y., Puschner, P., Rammig, F.J. (eds.) SEUS 2007. LNCS, vol.\u00a04761, pp. 7\u20139. Springer, Heidelberg (2007)"},{"key":"10_CR31","unstructured":"Schieferdecker, I., Rennoch, A., Hoefig, E.: TTCN-3 \u2014 A Test Technology for the Automotive Domain. In: Proceedings by expert Verlag. Simulation und Test in der Funktions- und Softwareentwicklung f\u00fcr die Automobilelektronik, Berlin, Germany (March 2005)"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Schieferdecker, I., Stepien, B.: Automated Testing of XML\/SOAP based Web Services. In: Informatik Aktuell, Fachkonferenz der Gesellschaft f\u00fcr Informatik (GI) Fachgruppe Kommunikation in verteilten Systemen (KiVS), Leipzig, vol.\u00a013 (February 2003)","DOI":"10.1007\/978-3-642-55569-5_4"},{"key":"10_CR33","series-title":"Lecture Notes in Computer Science","volume-title":"Testing of Communicating Systems","author":"I. Schieferdecker","year":"2003","unstructured":"Schieferdecker, I., Vassiliou-Gioles, T.: Realizing distributed TTCN-3 test systems with TCI. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, Springer, Heidelberg (2003)"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Schieferdecker, I., Vassiliou-Gioles, T.: Tool Supported Test Frameworks in TTCN-3. In: ENTCS (80). 8th Intern. Workshop in Formal Methods in Industrial Critical Systems, R\u00f8ros, Norway (June 2003)","DOI":"10.1016\/S1571-0661(04)80822-3"},{"key":"10_CR35","unstructured":"Eclipse Test & Performance Tools Platform Project (2004-2007), http:\/\/www.eclipse.org\/tptp\/"},{"key":"10_CR36","series-title":"Lecture Notes in Computer Science","volume-title":"Testing of Communicating Systems","author":"T. Vassiliou-Gioles","year":"2004","unstructured":"Vassiliou-Gioles, T., Din, G., Schieferdecker, I.: Execution of External Applications using TTCN-3. In: Groz, R., Hierons, R.M. (eds.) TestCom 2004. LNCS, vol.\u00a02978, Springer, Heidelberg (2004)"},{"key":"10_CR37","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Approaches to Software Testing","author":"A. Vouffo-Feudjio","year":"2005","unstructured":"Vouffo-Feudjio, A., Schieferdecker, I.: Test Pattern with TTCN-3. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, Springer, Heidelberg (2005)"},{"key":"10_CR38","unstructured":"World Wide Web Consortium (W3C) Recommendation: Extensible Markup Language (XML) 1.1 (2004), http:\/\/www.w3.org\/TR\/2004\/REC-xml11-20040204\/"},{"key":"10_CR39","series-title":"Lecture Notes in Computer Science","volume-title":"Testing of Communicating Systems","author":"J. Zander","year":"2005","unstructured":"Zander, J., Dai, Z.R., Schieferdecker, I., Din, G.: From U2TP Models to Executable Tests with TTCN-3 \u2014 An Approach to Model Driven Testing. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol.\u00a03502, Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78917-8_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:03:51Z","timestamp":1619521431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78917-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789161","9783540789178"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78917-8_10","relation":{},"subject":[]}}