{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T19:14:24Z","timestamp":1712949264893},"reference-count":21,"publisher":"Cambridge University Press (CUP)","issue":"4-6","license":[{"start":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T00:00:00Z","timestamp":1278633600000},"content-version":"unspecified","delay-in-days":8,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2010,7]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to a system under test. White-box TCG is usually performed by means of <jats:italic>symbolic execution<\/jats:italic>, i.e., instead of executing the program on normal values (e.g., numbers), the program is executed on symbolic values representing arbitrary values. When dealing with an object-oriented (OO) imperative language, symbolic execution becomes challenging as, among other things, it must be able to backtrack, complex heap-allocated data structures should be created during the TCG process and features like inheritance, virtual invocations and exceptions have to be taken into account. Due to its inherent symbolic execution mechanism, we pursue in this paper that <jats:italic>Constraint Logic Programming<\/jats:italic> (CLP) has a promising application field in tcg. We will support our claim by developing a fully CLP-based framework to TCG of an OO imperative language, and by assessing it on a corresponding implementation on a set of challenging Java programs.<\/jats:p>","DOI":"10.1017\/s1471068410000347","type":"journal-article","created":{"date-parts":[[2010,7,9]],"date-time":"2010-07-09T12:44:40Z","timestamp":1278679480000},"page":"659-674","source":"Crossref","is-referenced-by-count":20,"title":["Test case generation for object-oriented imperative languages in CLP"],"prefix":"10.1017","volume":"10","author":[{"given":"MIGUEL","family":"G\u00d3MEZ-ZAMALLOA","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ELVIRA","family":"ALBERT","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"GERM\u00c1N","family":"PUEBLA","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2010,7,9]]},"reference":[{"key":"S1471068410000347_ref21","doi-asserted-by":"publisher","DOI":"10.1145\/267580.267590"},{"key":"S1471068410000347_ref20","first-page":"545","volume-title":"SERA '07: Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management and Applications","author":"Zhao","year":"2007"},{"key":"S1471068410000347_ref18","first-page":"505","volume-title":"TACAS","author":"Vaziri","year":"2003"},{"key":"S1471068410000347_ref13","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"S1471068410000347_ref12","unstructured":"Gotlieb A. , Botella B. and Rueher M. 2000. A clp framework for computing structural test data. In Computational Logic, 399\u2013413."},{"key":"S1471068410000347_ref11","doi-asserted-by":"publisher","DOI":"10.1145\/271775.271790"},{"key":"S1471068410000347_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.04.010"},{"key":"S1471068410000347_ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.92910"},{"key":"S1471068410000347_ref10","unstructured":"Goodrich M. , Tamassia R. and Zamore R. 2003. The net.datastructures package, version 3. Available at http:\/\/net3.datastructures.net"},{"key":"S1471068410000347_ref5","unstructured":"Charreteur F. and Gotlieb A. JAUT: A tool for automatic test case generation. url: http:\/\/www.irisa.fr\/lande\/gotlieb\/resources\/jaut.html."},{"key":"S1471068410000347_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/11680093_8"},{"key":"S1471068410000347_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00515-2_2"},{"key":"S1471068410000347_ref14","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.225"},{"key":"S1471068410000347_ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2002.1115007"},{"key":"S1471068410000347_ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_10"},{"key":"S1471068410000347_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.029"},{"key":"S1471068410000347_ref2","first-page":"25","volume-title":"ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM)","author":"Albert","year":"2010"},{"key":"S1471068410000347_ref15","first-page":"365","volume-title":"IASTED Conference on Software Engineering","author":"M\u00fcller","year":"2004"},{"key":"S1471068410000347_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.01.006"},{"key":"S1471068410000347_ref8","first-page":"45","article-title":"Partial evaluation of computation process\u2014An approach to a compiler-compiler","volume":"2","author":"Futamura","year":"1971","journal-title":"Systems, Computers, Controls"},{"key":"S1471068410000347_ref16","unstructured":"Schrijvers T. , Degrave F. and Vanhoof W. 2009. Towards a framework for constraint-based test case generation. In 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09), 128\u2013142."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068410000347","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:33:06Z","timestamp":1556479986000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068410000347\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":21,"journal-issue":{"issue":"4-6","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["S1471068410000347"],"URL":"https:\/\/doi.org\/10.1017\/s1471068410000347","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7]]}}}