{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T07:14:51Z","timestamp":1743146091344,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642205507"},{"type":"electronic","value":"9783642205514"}],"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-20551-4_7","type":"book-chapter","created":{"date-parts":[[2011,4,20]],"date-time":"2011-04-20T12:04:40Z","timestamp":1303301080000},"page":"99-116","source":"Crossref","is-referenced-by-count":9,"title":["Compositional CLP-Based Test Data Generation for Imperative Languages"],"prefix":"10.1007","author":[{"given":"Elvira","family":"Albert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"G\u00f3mez-Zamalloa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Miguel","family":"Rojas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Germ\u00e1n","family":"Puebla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-00515-2_2","volume-title":"Logic-Based Program Synthesis and Transformation","author":"E. Albert","year":"2009","unstructured":"Albert, E., G\u00f3mez-Zamalloa, M., Puebla, G.: Test Data Generation of Bytecode by CLP Partial Evaluation. In: Hanus, M. (ed.) LOPSTR 2008. LNCS, vol.\u00a05438, pp. 4\u201323. Springer, Heidelberg (2009)"},{"key":"7_CR2","first-page":"25","volume-title":"ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM)","author":"E. Albert","year":"2010","unstructured":"Albert, E., G\u00f3mez-Zamalloa, M., Puebla, G.: PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. In: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM), Madrid, Spain, January 2010, pp. 25\u201328. ACM Press, New York (2010)"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-540-78800-3_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Anand","year":"2008","unstructured":"Anand, S., Godefroid, P., Tillmann, N.: Demand-driven compositional symbolic execution. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 367\u2013381. Springer, Heidelberg (2008)"},{"key":"7_CR4","first-page":"825","volume-title":"DATE","author":"T. Arons","year":"2008","unstructured":"Arons, T., Elster, E., Ozer, S., Shalev, J., Singerman, E.: Efficient symbolic simulation of low level software. In: DATE, pp. 825\u2013830. IEEE, Los Alamitos (2008)"},{"issue":"3","key":"7_CR5","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 Trans. Software Eng.\u00a02(3), 215\u2013222 (1976)","journal-title":"IEEE Trans. Software Eng."},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-73770-4_10","volume-title":"Tests and Proofs","author":"C. Engel","year":"2007","unstructured":"Engel, C., H\u00e4hnle, R.: Generating unit tests from formal proofs. In: Gurevich, Y., Meyer, B. (eds.) TAP 2007. LNCS, vol.\u00a04454, pp. 169\u2013188. Springer, Heidelberg (2007)"},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"Ferguson, R., Korel, B.: The chaining approach for software test data generation. ACM Trans. Softw. Eng. Methodol.\u00a05(1), 63\u201386 (1996)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"7_CR8","first-page":"47","volume-title":"POPL","author":"P. Godefroid","year":"2007","unstructured":"Godefroid, P.: Compositional dynamic test generation. In: Hofmann, M., Felleisen, M. (eds.) POPL, pp. 47\u201354. ACM, New York (2007)"},{"key":"7_CR9","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/1065010.1065036","volume-title":"PLDI","author":"P. Godefroid","year":"2005","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: directed automated random testing. In: Sarkar, V., Hall, M.W. (eds.) PLDI, pp. 213\u2013223. ACM, New York (2005)"},{"key":"7_CR10","doi-asserted-by":"publisher","first-page":"1409","DOI":"10.1016\/j.infsof.2009.04.010","volume":"51","author":"M. G\u00f3mez-Zamalloa","year":"2009","unstructured":"G\u00f3mez-Zamalloa, M., Albert, E., Puebla, G.: Decompilation of Java Bytecode to Prolog by Partial Evaluation. Information and Software Technology\u00a051, 1409\u20131427 (2009)","journal-title":"Information and Software Technology"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-Zamalloa, M., Albert, E., Puebla, G.: Test Case Generation for Object-Oriented Imperative Languages in CLP. In: Theory and Practice of Logic Programming, 26th Int\u2019l. Conference on Logic Programming (ICLP 2010) Special Issue, vol.\u00a010(4-6), pp. 659\u2013674 (July 2010)","DOI":"10.1017\/S1471068410000347"},{"key":"7_CR12","unstructured":"Goodrich, M.T., Tamassia, R., Zamore, R.: The net.datastructures package, version 3 (2003), http:\/\/net3.datastructures.net"},{"key":"7_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/3-540-44957-4_27","volume-title":"Computational Logic - CL 2000","author":"A. Gotlieb","year":"2000","unstructured":"Gotlieb, A., Botella, B., Rueher, M.: A CLP framework for computing structural test data. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 399\u2013413. Springer, Heidelberg (2000)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Gupta, N., Mathur, A.P., Soffa, M.L.: Generating test data for branch coverage. In: Automated Software Engineering, pp. 219\u2013228 (2000)","DOI":"10.1109\/ASE.2000.873666"},{"issue":"7","key":"7_CR15","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"issue":"6","key":"7_CR16","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/s10766-005-8910-3","volume":"33","author":"A. K\u00f6lbl","year":"2005","unstructured":"K\u00f6lbl, A., Pixley, C.: Constructing efficient formal models from high-level descriptions using symbolic simulation. International Journal of Parallel Programming\u00a033(6), 645\u2013666 (2005)","journal-title":"International Journal of Parallel Programming"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/3-540-45319-9_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y. Lakhnech","year":"2001","unstructured":"Lakhnech, Y., Bensalem, S., Berezin, S., Owre, S.: Incremental verification by abstraction. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, pp. 98\u2013112. Springer, Heidelberg (2001)"},{"issue":"2","key":"7_CR18","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1002\/stvr.225","volume":"11","author":"C. Meudec","year":"2001","unstructured":"Meudec, C.: Atgen: Automatic test data generation using constraint logic programming and symbolic execution. Softw. Test., Verif. Reliab.\u00a011(2), 81\u201396 (2001)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"7_CR19","unstructured":"M\u00fcller, R.A., Lembeck, C., Kuchen, H.: A symbolic java virtual machine for test case generation. In: IASTED Conf. on Software Engineering, pp. 365\u2013371 (2004)"},{"issue":"4","key":"7_CR20","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/s10009-009-0118-1","volume":"11","author":"C.S. P\u01ces\u01cereanu","year":"2009","unstructured":"P\u01ces\u01cereanu, C.S., Visser, W.: A survey of new trends in symbolic execution for software testing and analysis. Int. J. Softw. Tools Technol. Transf.\u00a011(4), 339\u2013353 (2009)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-642-12592-8_10","volume-title":"Logic-Based Program Synthesis and Transformation","author":"T. Schrijvers","year":"2010","unstructured":"Schrijvers, T., Degrave, F., Vanhoof, W.: Towards a framework for constraint-based test case generation. In: De Schreye, D. (ed.) LOPSTR 2009. LNCS, vol.\u00a06037, pp. 128\u2013142. Springer, Heidelberg (2010)"},{"issue":"4","key":"7_CR22","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Comput. Surv.\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Comput. Surv."}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20551-4_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T11:45:46Z","timestamp":1686051946000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20551-4_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642205507","9783642205514"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20551-4_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}