{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:18:51Z","timestamp":1725527931104},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005145"},{"type":"electronic","value":"9783642005152"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00515-2_2","type":"book-chapter","created":{"date-parts":[[2009,3,3]],"date-time":"2009-03-03T10:38:40Z","timestamp":1236076720000},"page":"4-23","source":"Crossref","is-referenced-by-count":8,"title":["Test Data Generation of Bytecode by CLP Partial Evaluation"],"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":"Germ\u00e1n","family":"Puebla","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Compilers - Principles, Techniques and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers - Principles, Techniques and Tools. Addison-Wesley, Reading (1986)"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-71316-6_12","volume-title":"Programming Languages and Systems","author":"E. Albert","year":"2007","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D.: Cost Analysis of Java Bytecode. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 157\u2013172. Springer, Heidelberg (2007)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-69611-7_8","volume-title":"Practical Aspects of Declarative Languages","author":"E. Albert","year":"2006","unstructured":"Albert, E., G\u00f3mez-Zamalloa, M., Hubert, L., Puebla, G.: Verification of Java Bytecode using Analysis and Transformation of Logic Programs. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 124\u2013139. Springer, Heidelberg (2006)"},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Verification of Object-Oriented Software. The KeY Approach","year":"2007","unstructured":"Beckert, B., H\u00e4hnle, R., Schmitt, P.H. (eds.): Verification of Object-Oriented Software. LNCS, vol.\u00a04334. Springer, Heidelberg (2007)"},{"issue":"11","key":"2_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF03037527","volume":"1","author":"M. Bruynooghe","year":"1992","unstructured":"Bruynooghe, M., De Schreye, D., Martens, B.: A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. New Generation Computing\u00a01(11), 47\u201379 (1992)","journal-title":"New Generation Computing"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: Quickcheck: A lightweight tool for random testing of haskell programs. In: ICFP, pp. 268\u2013279 (2000)","DOI":"10.1145\/351240.351266"},{"issue":"3","key":"2_CR7","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":"2_CR8","doi-asserted-by":"crossref","unstructured":"Craig, S.-J., Leuschel, M.: A compiler generator for constraint logic programs. In: Ershov Memorial Conference, pp. 148\u2013161 (2003)","DOI":"10.1007\/978-3-540-39866-0_17"},{"issue":"1","key":"2_CR9","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":"2_CR10","doi-asserted-by":"crossref","unstructured":"Fischer, S., Kuchen, H.: Systematic generation of glass-box test cases for functional logic programs. In: PPDP, pp. 63\u201374 (2007)","DOI":"10.1145\/1273920.1273930"},{"issue":"5","key":"2_CR11","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura, Y.: Partial evaluation of computation process - an approach to a compiler-compiler. Systems, Computers, Controls\u00a02(5), 45\u201350 (1971)","journal-title":"Systems, Computers, Controls"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/SCAM.2008.35","volume-title":"8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008)","author":"M. G\u00f3mez-Zamalloa","year":"2008","unstructured":"G\u00f3mez-Zamalloa, M., Albert, E., Puebla, G.: Modular Decompilation of Low-Level Code by Partial Evaluation. In: 8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), pp. 239\u2013248. IEEE Computer Society, Los Alamitos (2008)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","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, vol.\u00a01861, pp. 399\u2013413. Springer, Heidelberg (2000)"},{"key":"2_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"},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1109\/SCAM.2006.1","volume-title":"SCAM 2006: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation","author":"K.S. Henriksen","year":"2006","unstructured":"Henriksen, K.S., Gallagher, J.P.: Abstract interpretation of pic programs through logic programming. In: SCAM 2006: Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation, pp. 184\u2013196. IEEE Computer Society, Los Alamitos (2006)"},{"issue":"4","key":"2_CR16","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1109\/TSE.1977.231144","volume":"3","author":"W.E. Howden","year":"1977","unstructured":"Howden, W.E.: Symbolic testing and the dissect symbolic evaluation system. IEEE Transactions on Software Engineering\u00a03(4), 266\u2013278 (1977)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"7","key":"2_CR17","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"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic automated software testing. In: IFL, pp. 84\u2013100 (2002)","DOI":"10.1007\/3-540-44854-3_6"},{"key":"2_CR19","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1996","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. Addison-Wesley, Reading (1996)"},{"key":"2_CR20","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5625.001.0001","volume-title":"Programming with Constraints: An Introduction","author":"K. Marriot","year":"1998","unstructured":"Marriot, K., Stuckey, P.: Programming with Constraints: An Introduction. MIT Press, Cambridge (1998)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78769-3_11","volume-title":"Logic-Based Program Synthesis and Transformation","author":"M. M\u00e9ndez-Lojo","year":"2008","unstructured":"M\u00e9ndez-Lojo, M., Navas, J., Hermenegildo, M.: A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs. In: King, A. (ed.) LOPSTR 2007. LNCS, vol.\u00a04915. Springer, Heidelberg (2008)"},{"issue":"2","key":"2_CR22","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":"2_CR23","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)"},{"key":"2_CR24","unstructured":"Mweze, N., Vanhoof, W.: Automatic generation of test inputs for mercury programs. In: Pre-proceedings of LOPSTR 2006 (July 2006) (extended abstract)"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/11506676_10","volume-title":"Logic Based Program Synthesis and Transformation","author":"G. Puebla","year":"2005","unstructured":"Puebla, G., Albert, E., Hermenegildo, M.: Efficient Local Unfolding with Ancestor Stacks for Full Prolog. In: Etalle, S. (ed.) LOPSTR 2004. LNCS, vol.\u00a03573, pp. 149\u2013165. Springer, Heidelberg (2005)"},{"key":"2_CR26","unstructured":"Swedish Institute for Computer Science, PO Box 1263, S-164 28 Kista, Sweden. SICStus Prolog 3.8 User\u2019s Manual, 3.8 edition (October 1999), http:\/\/www.sics.se\/sicstus\/"},{"issue":"4","key":"2_CR27","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Patrick, A., Hall, V., John, 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-00515-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T11:00:33Z","timestamp":1558177233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00515-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005145","9783642005152"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00515-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}