{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:58Z","timestamp":1762458478300},"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_1","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"1-18","source":"Crossref","is-referenced-by-count":56,"title":["Symbolic Execution Techniques for Test Purpose Definition"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Gaston","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascale","family":"Le Gall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Rapin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assia","family":"Touil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Omega 1.2. The Omega Project: Algorithms and Frameworks for Analyzing and Transforming Scientific Programs (1994)"},{"issue":"3","key":"1_CR2","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"2","author":"L.-A. Clarke","year":"1976","unstructured":"Clarke, L.-A.: A system to generate test data and symbolically execute programs. IEEE Transactions on software engineering\u00a02(3), 215\u2013222 (1976)","journal-title":"IEEE Transactions on software engineering"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-31848-4_1","volume-title":"Formal Approaches to Software Testing","author":"L. Frantzen","year":"2005","unstructured":"Frantzen, L., Tretmans, J., Willemse, T.A.C.: Test generation based on symbolic specifications. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol.\u00a03395, pp. 1\u201315. Springer, Heidelberg (2005)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Jard, C., J\u00e9ron, T.: TGV: theory, principles and algorithms, a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer (STTT)\u00a06 (October 2004)","DOI":"10.1007\/s10009-004-0153-x"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-540-31980-1_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"B. Jeannet","year":"2005","unstructured":"Jeannet, B., J\u00e9ron, T., Rusu, V., Zinovieva, E.: Symbolic test selection based on approximate analysis. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol.\u00a03440, pp. 349\u2013364. Springer, Heidelberg (2005)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"King, J.-C.: A new approach to program testing. In: Proceedings of the international conference on Reliable software, Los Angeles, California, April 1975, vol.\u00a021-23, pp. 228\u2013233 (1975)","DOI":"10.1145\/800027.808444"},{"key":"1_CR7","unstructured":"Lugato, D., Rapin, N., Gallois, J.-P.: Verification and tests generation for SDL industrial specifications with the AGATHA toolset. In: Petterson, P., Yovine, S. (eds.) Proceedings of the Workshop on Real-Time Tools affiliated to CONCUR 2001, Department of Information Technology UPPSALA UNIVERSITY Box 337, SE-751 05 Sweden (August 2001), ISSN 1404-3203"},{"key":"1_CR8","unstructured":"Presburger, M.: \u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetic. Comptes rendus du premier Congres des Math. des Pays Slaves, 92\u2013101 (1929)"},{"issue":"4","key":"1_CR9","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1109\/TSE.1976.233835","volume":"2","author":"C.-V. Ramamoorthy","year":"1976","unstructured":"Ramamoorthy, C.-V., Ho, S.-F., Chen, W.-T.: On the automated generation of program test data. IEEE Transactions on software engineering\u00a02(4), 293\u2013300 (1976)","journal-title":"IEEE Transactions on software engineering"},{"key":"1_CR10","unstructured":"Rapin, N., Gaston, C., Lapitre, A., Gallois, J.-P.: Behavioural unfolding of formal specifications based on communicating automata. In: Proceedings of first Workshop on Automated technology for verification and analysis, Taiwan (2003)"},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/3-540-40911-4_20","volume-title":"Integrated Formal Methods","author":"V. Rusu","year":"2000","unstructured":"Rusu, V., du Bousquet, L., J\u00e9ron, T.: An approach to symbolic test generation. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol.\u00a01945, pp. 338\u2013357. Springer, Heidelberg (2000)"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","volume":"29","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Computer Networks and ISDN Systems\u00a029, 49\u201379 (1996)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"3","key":"1_CR13","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software\u2014Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software\u2014Concepts and Tools"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,18]],"date-time":"2019-04-18T09:20:25Z","timestamp":1555579225000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11754008_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}