{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:23:41Z","timestamp":1743114221887,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252631"},{"type":"electronic","value":"9783642252648"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25264-8_9","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T09:18:36Z","timestamp":1322903916000},"page":"90-105","source":"Crossref","is-referenced-by-count":3,"title":["A New Approach in Model-Based Testing: Designing Test Models in TTCN-3"],"prefix":"10.1007","author":[{"given":"Antal","family":"Wu-Hen-Chang","sequence":"first","affiliation":[]},{"given":"Guszt\u00e1v","family":"Adamis","sequence":"additional","affiliation":[]},{"given":"Levente","family":"Er\u0151s","sequence":"additional","affiliation":[]},{"given":"G\u00e1bor","family":"Kov\u00e1cs","sequence":"additional","affiliation":[]},{"given":"Tibor","family":"Cs\u00f6ndes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"ETSI: ETSI ES 201 873-1 V4.2.1: Methods for Testing and Specification (MTS), The Testing and Test Control Notation version 3, Part 1: TTCN-3 Core Language (2010)"},{"key":"9_CR2","unstructured":"Conformiq: Tool suite, http:\/\/www.conformiq.com\/"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-73066-8_1","volume-title":"Testing of Software and Communicating Systems","author":"A. Huima","year":"2007","unstructured":"Huima, A.: Implementing Conformiq Qtronic. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom\/FATES 2007. LNCS, vol.\u00a04581, pp. 1\u201312. Springer, Heidelberg (2007)"},{"key":"9_CR4","unstructured":"Elvior: TestCast Generator, http:\/\/www.elvior.ee\/motes\/"},{"key":"9_CR5","unstructured":"Microsoft: Specexplorer, http:\/\/research.microsoft.com\/en-us\/projects\/SpecExplorer\/"},{"key":"9_CR6","unstructured":"Group, O.M.: Unified modeling language, http:\/\/www.uml.org"},{"key":"9_CR7","unstructured":"Microsoft: Abstract state machine language, http:\/\/research.microsoft.com\/en-us\/projects\/asml\/"},{"key":"9_CR8","unstructured":"Microsoft: Spec#, http:\/\/research.microsoft.com\/en-us\/projects\/specsharp\/"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"du Bousquet, L., Zuanon, N.: An overview of lutess - a specification-based tool for testing synchronous software. In: Proc. 14th IEEE Intl. Conf. on Automated SW Engineering, pp. 208\u2013215 (1999)","DOI":"10.1109\/ASE.1999.802255"},{"key":"9_CR10","first-page":"200","volume-title":"Proceedings of the IEEE Real-Time Systems Symposium, RTSS 1998","author":"P. Raymond","year":"1998","unstructured":"Raymond, P., Nicollin, X., Halbwachs, N., Weber, D.: Automatic testing of reactive systems. In: Proceedings of the IEEE Real-Time Systems Symposium, RTSS 1998, p. 200. IEEE Computer Society, Washington, DC (1998)"},{"key":"9_CR11","first-page":"229","volume-title":"Proceedings of the 15th IEEE International Conference on Automated Software Engineering","author":"B. Marre","year":"2000","unstructured":"Marre, B., Arnould, A.: Test sequences generation from LUSTRE descriptions: GATEL. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering, p. 229. IEEE Computer Society, Washington, DC (2000)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 1305\u20131320 (1991)","DOI":"10.1109\/5.97300"},{"issue":"8","key":"9_CR13","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yiannakakis, M.: Principles and methods of testing finite state machines \u2013 a survey. Proceedings of the IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Clatin, M., Groz, R., Phalippou, M., Thummel, R.: Two approaches linking test generation with verification techniques. In: Proceedings of the 8th International Workshop on Protocol Test Systems, IWPTS 1996 (1996)","DOI":"10.1007\/978-0-387-34988-6_10"},{"key":"9_CR15","unstructured":"Koch, B., Grabowski, J., Hogrefe, D., Schmitt, M.: Autolink- A Tool for Automatic Test Generation from SDL Specifications. In: Proceedings of Workshop on Industrial Strength Formal Specication Techniques (WIFT 1998), Boca, October 21-23, pp. 21\u201323 (1998)"},{"key":"9_CR16","unstructured":"ITU-T: Recommendation Z.100: Specification and Description Language (2000)"},{"key":"9_CR17","unstructured":"9074, I.: Information processing systems \u2013 Open Systems Interconnection \u2013 Estelle: A formal description technique based on an extended state transition model (1989)"},{"key":"9_CR18","first-page":"13","volume-title":"Proceedings of the IFIP TC\/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols","author":"R. Alderden","year":"1990","unstructured":"Alderden, R.: COOPER - The Compositional Construction of a Canonical Tester. In: Proceedings of the IFIP TC\/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, pp. 13\u201317. North-Holland Publishing Co., Amsterdam (1990)"},{"key":"9_CR19","unstructured":"ISO\/IEC: ISO-880: LOTOS \u2013 A Formal Description Technique Based on the Temporal Ordering of Observational Behavior (1989)"},{"volume-title":"The Formal Description Technique LOTOS","year":"1989","key":"9_CR20","unstructured":"van Eijk, P.H.J., Vissers, C.A., Diaz, M. (eds.): The Formal Description Technique LOTOS. Elsevier Science Publishers B.V., Amsterdam (1989)"},{"key":"9_CR21","first-page":"246","volume-title":"3rd PROGRESS Workshop on Embedded Systems","author":"J. Tretmans","year":"2002","unstructured":"Tretmans, J., Brinksma, E.: C\u00f4te de resyste: Automated model based testing. In: Schweizer, M. (ed.) 3rd PROGRESS Workshop on Embedded Systems, pp. 246\u2013255. STW Technology Foundation, Utrecht (2002)"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"981","DOI":"10.1016\/0169-7552(93)90095-L","volume":"25","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Tutorial: Design and validation of protocols. Tutorial Computer Networks and ISDN Systems\u00a025, 981\u20131017 (1991)","journal-title":"Tutorial Computer Networks and ISDN Systems"},{"key":"9_CR23","volume-title":"Concurrency: state models & Java programs","author":"J. Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: Concurrency: state models & Java programs. John Wiley & Sons, Inc., New York (1999)"},{"key":"9_CR24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511615320","volume-title":"Principles of Constraint Programming","author":"K. Apt","year":"2003","unstructured":"Apt, K.: Principles of Constraint Programming. Cambridge University Press, New York (2003)"},{"key":"9_CR25","unstructured":"Tretmans, J.: Specification based testing with formal methods: A theory. In: Fantechi, A. (ed.) FORTE\/PSTV 2000 Tutorial Notes, Pisa, Italy, October 10 (2000)"},{"key":"9_CR26","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M. Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach, 1st edn. Morgan Kaufmann, San Francisco (2007)","edition":"1"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/11498490_13","volume-title":"Model-Based Testing of Reactive Systems","author":"A. Pretschner","year":"2005","unstructured":"Pretschner, A., Philipps, J.: Methodological issues in model-based testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol.\u00a03472, pp. 281\u2013291. Springer, Heidelberg (2005)"},{"key":"9_CR28","unstructured":"Salo\u00f1a, A.A., Vives, J.Q., G\u00f3mez, S.P.: An introduction to LOTOS (1993), http:\/\/www2.cs.uregina.ca\/~sadaouis\/CS872\/lotos_language_tutorial.ps"},{"key":"9_CR29","unstructured":"ETSI: ETSI ES 201 873-10 V4.2.1: Methods for Testing and Specification (MTS), The Testing and Test Control Notation version 3, Part 10: TTCN-3 Documentation Comment Specification (2010)"}],"container-title":["Lecture Notes in Computer Science","SDL 2011: Integrating System and Software Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25264-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T03:13:24Z","timestamp":1561000404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25264-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252631","9783642252648"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25264-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}