{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:15:28Z","timestamp":1742382928733},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001416"},{"type":"electronic","value":"9783540361350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36135-9_7","type":"book-chapter","created":{"date-parts":[[2007,5,31]],"date-time":"2007-05-31T22:43:21Z","timestamp":1180651401000},"page":"97-113","source":"Crossref","is-referenced-by-count":13,"title":["System Test Synthesis from UML Models of Distributed Software"],"prefix":"10.1007","author":[{"given":"Simon","family":"Pickin","sequence":"first","affiliation":[]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[]},{"given":"Yves","family":"Le Traon","sequence":"additional","affiliation":[]},{"given":"Thierry","family":"J\u00e9ron","sequence":"additional","affiliation":[]},{"given":"J\u00e9z\u00e9quel","family":"Jean-Marc","sequence":"additional","affiliation":[]},{"given":"Alain","family":"Le Guennec","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Alur, R. and Yannakakis, M., Model checking of message sequence charts. proc. of the Tenth International Conference on Concurrency Theory, (1999).","key":"7_CR1","DOI":"10.1007\/3-540-48320-9_10"},{"doi-asserted-by":"crossref","unstructured":"Atkinson, C., et al. Component-based Product Line Engineering with UML. Addison-Wesley, 2002.","key":"7_CR2","DOI":"10.1007\/3-540-46020-9_34"},{"unstructured":"Bousquet, L.d., Martin, H. and J\u00e9z\u00e9quel, J.-M., Conformance Testing from UML Specifications. Experience Report. proc. of the UML2001 wkshp: Practical UML-Based Rigorous Development Methods, (October 2001).","key":"7_CR3"},{"doi-asserted-by":"crossref","unstructured":"Briand, L. and Labiche, Y., A UML-Based Approach to System Testing. proc. of the UML 2001, (Toronto-Canada 2001).","key":"7_CR4","DOI":"10.1007\/3-540-45441-1_15"},{"unstructured":"ETSI. Methods for Testing and Specification (MTS); The Tree and Tabular Combined Notation version 3; Part 3: TTCN-3: Graphical Presentation Format (GFT), European Telecommunications Standards Institute, Technical Report TR 101 873-3 V1.1.2 (2001-06), 2001.","key":"7_CR5"},{"unstructured":"Gamma, E., et al. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.","key":"7_CR6"},{"doi-asserted-by":"crossref","unstructured":"Hartmann, J., Imoberdorf, C. and Meisinger, M., UML-Based Integration Testing. proc. of the ACM Sigsoft International Symposium on Software Testing and Analysis 2000 (ISSTA 2000), (Portland Marriott Downtown, Portland, Oregon, USA, August 2000).","key":"7_CR7","DOI":"10.1145\/347324.348872"},{"unstructured":"Ho, W., et al., UMLAUT: an extendible UML transformation framework. proc. of the Automated Software Engineering (ASE\u201999), (Florida, October 1999). http:\/\/www.irisa.fr\/UMLAUT\/","key":"7_CR8"},{"unstructured":"ITU-T. Message Sequence Chart (MSC), International Telecommunications Union-Telecommunications Sector, ITU-T Recommendation Z.120, 2000.","key":"7_CR9"},{"doi-asserted-by":"crossref","unstructured":"Jard, C., Principles of Distributed Test Synthesis based on True-concurrency Models. proc. of the Testcom\u20192002, (Berlin-Germany, March 2002).","key":"7_CR10","DOI":"10.1007\/978-0-387-35497-2_22"},{"doi-asserted-by":"crossref","unstructured":"J\u00e9ron, T. and Morel, P., Test generation derived from model checking. proc. of the Computer Aided Verification (CAV\u201999), (Trento, Italy1999).","key":"7_CR11","DOI":"10.1007\/3-540-48683-6_12"},{"unstructured":"OMG. Unified Modelling Language Specification, version 1.4. OMG Standard, November 2001.","key":"7_CR12"},{"unstructured":"Pickin, S., et al., A UML-integrated test description language for component testing. proc. of the UML2001 wkshp: Practical UML-Based Rigorous Development Methods, (October 2001). http:\/\/www.irisa.fr\/cote\/","key":"7_CR13"},{"issue":"3","key":"7_CR14","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J. Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools, 17 (3).(1996), 103\u201312.","journal-title":"Software-Concepts and Tools"},{"unstructured":"OMG. UML 1.4 with Action Semantics 2002., Object Management Group, January 2001","key":"7_CR15"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36135-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T11:17:48Z","timestamp":1556450268000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}