{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:32Z","timestamp":1725544772316},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341840"},{"type":"electronic","value":"9783540341857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754008_9","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T13:22:40Z","timestamp":1146057760000},"page":"134-148","source":"Crossref","is-referenced-by-count":4,"title":["Application of Two Test Generation Tools to an Industrial Case Study"],"prefix":"10.1007","author":[{"given":"Ana","family":"Cavalli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"St\u00e9phane","family":"Maag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wissam","family":"Mallouli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikael","family":"Marche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yves-Marie","family":"Quemener","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"ITU-T Rec. Z. 120 Message Sequence Charts, (MSC). Geneva (1996)"},{"key":"9_CR2","unstructured":"ISO\/IEC 9646-1. Information Technology - Open Systems Interconnection - Conformance testing methodology and framework Part 1: General Concepts"},{"key":"9_CR3","unstructured":"Anido, R., et al.: Engendrer des tests pour un vrai protocole gr\u00e2ce \u00e0 des techniques \u00e9prouv\u00e9es de v\u00e9rifications. In: ENSIAS (ed.) Proceeding of\u00a0CFIP96\/Cinqui\u00e8me Colloque Francophone sur l Ing\u00e9nierie\u00a0des Protocoles, Rabat, Maroc, October 1996, pp. 499\u2013513 (1996)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Aho, A.V., Dahbura, A.T., Lee, D., Uyar, M.U.: An optimization technique for protocol conformance test generation based on uio sequences and rural chinese postman tours. IEEE transactions on Communications\u00a039(3), 1604\u20131615","DOI":"10.1109\/26.111442"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bourhfir, C., Dssouli, R., Aboulhamid, E., Rico, N.: Automatic executable test case generation for EFSM specified protocols. In: Chapman & Hall (ed.) IWTCS 1997, pp. 75\u201390 (1997)","DOI":"10.1007\/978-0-387-35198-8_6"},{"key":"9_CR6","unstructured":"Cavalli, A., Hogrefe, D.: Testing and validation of SDL systems : Tutorial. In: SDL 1995 forum (1995)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Cavalli, A., Lee, D., Rinderknecht, C., Za\u00efdi, F.: Hit-or-Jump: An Algorithm for Embedded Testing with Applications to IN Services. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering And Distributed Systems, Beijing, China, October 1999, pp. 41\u201356 (1999)","DOI":"10.1007\/978-0-387-35578-8_3"},{"key":"9_CR8","volume-title":"Protocol Test Systems VII","author":"M. Clatin","year":"1996","unstructured":"Clatin, M., Groz, R., Phalippou, M., Thummel, R.: Two approaches linking test generation with verification techniques. In: Cavalli, A., Budkowski, S. (eds.) Protocol Test Systems VII, Chapman & Hall, Boca Raton (1996)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"J.-C. Fernandez","year":"1996","unstructured":"Fernandez, J.-C., Garavel, H., Kerbat, A., Mounier, L., Mateescu, R., Sighireanu, M.: Cadp: A Protocol Validation and Verification Toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, Springer, Heidelberg (1996)"},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/S1389-1286(03)00249-4","volume":"42","author":"G. Rethy","year":"2003","unstructured":"Rethy, G., Schieferdecker, I., Wiles, A., Grabowski, J., Hogrefe, D., Willcock, C.: An introduction to the testing and test control notation (ttcn-3). Computer Networks\u00a042(3), 375\u2013403 (2003)","journal-title":"Computer Networks"},{"key":"9_CR11","volume-title":"SDL 1999","author":"A. Kerbrat","year":"1999","unstructured":"Kerbrat, A., Jeron, T., Groz, R.: Automated test generation from SDL specifications. In: Dssouli, R., Bochman, G.V., Lahav, Y. (eds.) SDL 1999. Elsiever Science, Amsterdam (1999)"},{"key":"9_CR12","unstructured":"Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: Proceedings of the 7th European International Conference on Software Testing, EuroSTAR 1999 (November 1999)"},{"key":"9_CR13","unstructured":"ETSI. TTCN-3. TTCN-3 \u2013 Core Language"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:04:07Z","timestamp":1619492647000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11754008_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}