{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:48:23Z","timestamp":1725475703351},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642381966"},{"type":"electronic","value":"9783642381973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38197-3_12","type":"book-chapter","created":{"date-parts":[[2013,4,17]],"date-time":"2013-04-17T07:53:41Z","timestamp":1366185221000},"page":"176-193","source":"Crossref","is-referenced-by-count":3,"title":["A Framework for Guided Test Case Generation in Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 Miguel","family":"Rojas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Miguel","family":"G\u00f3mez-Zamalloa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_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":"12_CR2","doi-asserted-by":"crossref","unstructured":"Albert, E., Caba\u00f1as, I., Flores-Montoya, A., G\u00f3mez-Zamalloa, M., Guti\u00e9rrez, S.: jPET: an Automatic Test-Case Generator for Java. In: Proc. of WCRE 2011. IEEE Computer Society (2011)","DOI":"10.1109\/WCRE.2011.67"},{"key":"12_CR3","unstructured":"Ball, T.: Abstraction-guided test generation: A case study. Technical Report MSR-TR-2003-86, Microsoft Research (2003)"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Cadar, C., Godefroid, P., Khurshid, S., P\u01ces\u01cereanu, C., Sen, K., Tillmann, N., Visser, W.: Symbolic execution for software testing in practice: preliminary assessment. In: Proc. of ICSE 2011. ACM (2011)","DOI":"10.1145\/1985793.1985995"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/11506676_4","volume-title":"Logic Based Program Synthesis and Transformation","author":"S.-J. Craig","year":"2005","unstructured":"Craig, S.-J., Gallagher, J.P., Leuschel, M., Henriksen, K.S.: Fully Automatic Binding-Time Analysis for Prolog. In: Etalle, S. (ed.) LOPSTR 2004. LNCS, vol.\u00a03573, pp. 53\u201368. Springer, Heidelberg (2005)"},{"issue":"3","key":"12_CR6","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S.K. Debray","year":"1989","unstructured":"Debray, S.K.: Static inference of modes and data dependencies in logic programs. ACM Trans. Program. Lang. Syst.\u00a011(3), 418\u2013450 (1989)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"10","key":"12_CR7","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(10), 1409\u20131427 (2009)","journal-title":"Information and Software Technology"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"G\u00f3mez-Zamalloa, M., Albert, E., Puebla, G.: Test Case Generation for Object-Oriented Imperative Languages in CLP. Theory and Practice of Logic Programming, ICLP 2010 Special Issue 10(4-6) (2010)","DOI":"10.1017\/S1471068410000347"},{"key":"12_CR9","unstructured":"Goodrich, M., Tamassia, R., Zamore, E.: The net.datastructures package, \n                  \n                    http:\/\/net3.datastructures.net"},{"issue":"7","key":"12_CR10","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. Communications of the ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Communications of the ACM"},{"key":"12_CR11","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":"4","key":"12_CR12","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":"12_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-642-02652-2_16","volume-title":"Model Checking Software","author":"N. Rungta","year":"2009","unstructured":"Rungta, N., Mercer, E.G., Visser, W.: Efficient testing of concurrent programs with abstraction-guided symbolic execution. In: P\u0103s\u0103reanu, C.S. (ed.) SPIN 2009. LNCS, vol.\u00a05578, pp. 174\u2013191. Springer, Heidelberg (2009)"}],"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-38197-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T11:35:58Z","timestamp":1557660958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38197-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642381966","9783642381973"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38197-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}