{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:45:13Z","timestamp":1725893113073},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642322105"},{"type":"electronic","value":"9783642322112"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32211-2_3","type":"book-chapter","created":{"date-parts":[[2012,7,20]],"date-time":"2012-07-20T20:27:23Z","timestamp":1342816043000},"page":"25-41","source":"Crossref","is-referenced-by-count":2,"title":["Resource-Driven CLP-Based Test Case Generation"],"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"}]}],"member":"297","reference":[{"key":"3_CR1","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":"3_CR2","doi-asserted-by":"crossref","unstructured":"Albert, E., Arenas, P., Genaim, S., Puebla, G., Zanardini, D.: Removing useless variables in cost analysis of java bytecode. In: SAC 2008. ACM (2008)","DOI":"10.1145\/1363686.1363779"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Albert, E., Genaim, S., G\u00f3mez-Zamalloa, M.: Heap Space Analysis for Java Bytecode. In: Proc. of ISMM 2007. ACM Press (2007)","DOI":"10.1145\/1296907.1296922"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Albert, E., G\u00f3mez-Zamalloa, M., Puebla, G.: PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. In: Proc. of. PEPM 2010. ACM Press (2010)","DOI":"10.1145\/1706356.1706363"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-20551-4_7","volume-title":"Logic-Based Program Synthesis and Transformation","author":"E. Albert","year":"2011","unstructured":"Albert, E., G\u00f3mez-Zamalloa, M., Rojas, J.M., Puebla, G.: Compositional CLP-Based Test Data Generation for Imperative Languages. In: Alpuente, M. (ed.) LOPSTR 2010. LNCS, vol.\u00a06564, pp. 99\u2013116. Springer, Heidelberg (2011)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Antunes, J., Neves, N.F., Ver\u00edssimo, P.: Detection and prediction of resource-exhaustion vulnerabilities. In: Proc. of ISSRE 2008. IEEE Computer Society (2008)","DOI":"10.1109\/ISSRE.2008.47"},{"issue":"3","key":"3_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 Transactions on Software Engineering\u00a02(3), 215\u2013222 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR8","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)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Fischer, S., Kuchen, H.: Systematic generation of glass-box test cases for functional logic programs. In: Proc. of PPDP 2007. ACM (2007)","DOI":"10.1145\/1273920.1273930"},{"key":"3_CR10","first-page":"1409","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. JIST\u00a051, 1409\u20131427 (2009)","journal-title":"JIST"},{"key":"3_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: TPLP, ICLP 2010 Special Issue (2010)","DOI":"10.1017\/S1471068410000347"},{"key":"3_CR12","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":"3_CR13","doi-asserted-by":"crossref","unstructured":"Holzer, A., Januzaj, V., Kugele, S.: Towards resource consumption-aware programming. In: Proc. of ICSEA 2009. IEEE Computer Society (2009)","DOI":"10.1109\/ICSEA.2009.77"},{"issue":"7","key":"3_CR14","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":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/3-540-62718-9_6","volume-title":"Logic Program Synthesis and Transformation","author":"M. Leuschel","year":"1997","unstructured":"Leuschel, M., S\u00f8rensen, M.H.: Redundant Argument Filtering of Logic Programs. In: Gallagher, J.P. (ed.) LOPSTR 1996. LNCS, vol.\u00a01207, pp. 83\u2013103. Springer, Heidelberg (1997)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-31987-0_6","volume-title":"Programming Languages and Systems","author":"M. Leuschel","year":"2005","unstructured":"Leuschel, M., Vidal, G.: Forward Slicing by Conjunctive Partial Deduction and Argument Filtering. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 61\u201376. Springer, Heidelberg (2005)"},{"issue":"2","key":"3_CR17","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":"3_CR18","unstructured":"M\u00fcller, R.A., Lembeck, C., Kuchen, H.: A symbolic java virtual machine for test case generation. In: IASTED Conf. on Software Engineering (2004)"},{"key":"3_CR19","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)"},{"key":"3_CR20","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":"F. Degrave","year":"2010","unstructured":"Degrave, F., Schrijvers, T., 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":"15","key":"3_CR21","doi-asserted-by":"publisher","first-page":"1411","DOI":"10.1002\/spe.487","volume":"32","author":"J. Zhang","year":"2002","unstructured":"Zhang, J., Cheung, S.C.: Automated test case generation for the stress testing of multimedia systems. Softw., Pract. Exper.\u00a032(15), 1411\u20131435 (2002)","journal-title":"Softw., Pract. Exper."}],"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-32211-2_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:57:26Z","timestamp":1620115046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32211-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642322105","9783642322112"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32211-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}