{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:36:18Z","timestamp":1760708178561},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642122507"},{"type":"electronic","value":"9783642122514"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12251-4_15","type":"book-chapter","created":{"date-parts":[[2010,4,9]],"date-time":"2010-04-09T23:32:42Z","timestamp":1270855962000},"page":"191-206","source":"Crossref","is-referenced-by-count":10,"title":["Applying Constraint Logic Programming to SQL Test Case Generation"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Caballero","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yolanda","family":"Garc\u00eda-Ruiz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"S\u00e1enz-P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809163","volume-title":"Introduction to Software Testing","author":"P. Ammann","year":"2008","unstructured":"Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)"},{"issue":"1","key":"15_CR2","first-page":"28","volume":"31","author":"C. Binnig","year":"2008","unstructured":"Binnig, C., Kossmann, D., Lo, E.: Towards automatic test database generation. IEEE Data Eng. Bull.\u00a031(1), 28\u201335 (2008)","journal-title":"IEEE Data Eng. Bull."},{"key":"15_CR3","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1145\/1029894.1029929","volume-title":"SIGSOFT FSE","author":"M.J.S. Cabal","year":"2004","unstructured":"Cabal, M.J.S., Tuya, J.: Using an SQL coverage measurement for testing database applications. In: Taylor, R.N., Dwyer, M.B. (eds.) SIGSOFT FSE, pp. 253\u2013262. ACM, New York (2004)"},{"key":"15_CR4","series-title":"Courant Computer Science Symposia Series 6","volume-title":"Data base Systems","author":"E. Codd","year":"1972","unstructured":"Codd, E.: Relational Completeness of Data Base Sublanguages. In: Rustin, R. (ed.) Data base Systems. Courant Computer Science Symposia Series 6, Prentice-Hall, Englewood Cliffs (1972)"},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/588111.588132","volume-title":"PODS 1982: Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems","author":"U. Dayal","year":"1982","unstructured":"Dayal, U., Goodman, N., Katz, R.H.: An extended relational algebra with control over duplicate elimination. In: PODS 1982: Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems, pp. 117\u2013123. ACM, New York (1982)"},{"doi-asserted-by":"crossref","unstructured":"Degrave, F., Schrijvers, T., Vanhoof, W.: Automatic generation of test inputs for mercury, pp. 71\u201386 (2009)","key":"15_CR6","DOI":"10.1007\/978-3-642-00515-2_6"},{"issue":"9","key":"15_CR7","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A., Offutt, A.J.: Constraint-based automatic test data generation. IEEE Transactions on Software Engineering\u00a017(9), 900\u2013910 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/1273463.1273484","volume-title":"ISSTA 2007: Proceedings of the 2007 international symposium on Software testing and analysis","author":"M. Emmi","year":"2007","unstructured":"Emmi, M., Majumdar, R., Sen, K.: Dynamic test input generation for database applications. In: ISSTA 2007: Proceedings of the 2007 international symposium on Software testing and analysis, pp. 151\u2013162. ACM, New York (2007)"},{"key":"15_CR9","volume-title":"Database Systems: The Complete Book","author":"H. Garcia-Molina","year":"2008","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database Systems: The Complete Book. Prentice Hall PTR, Upper Saddle River (2008)"},{"issue":"1","key":"15_CR10","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/382274.382398","volume":"19","author":"M. Gogolla","year":"1990","unstructured":"Gogolla, M.: A note on the translation of SQL to tuple calculus. SIGMOD Record\u00a019(1), 18\u201322 (1990)","journal-title":"SIGMOD Record"},{"unstructured":"G\u00f3mez-Zamalloa, M., Albert, E., Puebla, G.: On the generation of test data for prolog by partial evaluation. CoRR, abs\/0903.2199 (2009)","key":"15_CR11"},{"key":"15_CR12","first-page":"80","volume-title":"10th International Conference on Data Engineering","author":"P.W.P.J. Grefen","year":"1994","unstructured":"Grefen, P.W.P.J., de By, R.A.: A multi-set extended relational algebra: a formal approach to a practical issue. In: 10th International Conference on Data Engineering, pp. 80\u201388. IEEE, Los Alamitos (1994)"},{"unstructured":"ILOG CP 1.4, http:\/\/www.ilog.com\/products\/cp\/","key":"15_CR13"},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/111197.111212","volume":"16","author":"M. Negri","year":"1991","unstructured":"Negri, M., Pelagatti, G., Sbattella, L.: Formal semantics of SQL queries. ACM Trans. Database Syst.\u00a016(3), 513\u2013534 (1991)","journal-title":"ACM Trans. Database Syst."},{"unstructured":"S\u00e1enz-P\u00e9rez, F.: Datalog educational system. user\u2019s manual version 1.7.0. Technical report, Faculty of Computer Science, UCM (November 2009), http:\/\/des.sourceforge.net\/","key":"15_CR15"},{"unstructured":"Schulte, C., Lagerkvist, M.Z., Tack, G.: Gecode, http:\/\/www.gecode.org\/","key":"15_CR16"},{"unstructured":"SQL, ISO\/IEC 9075:1992, third edn. (1992)","key":"15_CR17"},{"issue":"3","key":"15_CR18","first-page":"584","volume":"15","author":"M. Su\u00e1rez-Cabal","year":"2009","unstructured":"Su\u00e1rez-Cabal, M., Tuya, J.: Structural coverage criteria for testing SQL queries. Journal of Universal Computer Science\u00a015(3), 584\u2013619 (2009)","journal-title":"Journal of Universal Computer Science"},{"doi-asserted-by":"crossref","unstructured":"Tuya, J., Su\u00e1rez-Cabal, M.J., de la Riva, C.: Full predicate coverage for testing SQL database queries. Software Testing, Verification and Reliability (2009) (to be published)","key":"15_CR19","DOI":"10.1002\/stvr.424"},{"key":"15_CR20","first-page":"161","volume-title":"COMPSAC","author":"J. Zhang","year":"2001","unstructured":"Zhang, J., Xu, C., Cheung, S.C.: Automatic generation of database instances for white-box testing. In: COMPSAC, pp. 161\u2013165. IEEE Computer Society, Los Alamitos (2001)"},{"key":"15_CR21","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 Computing Surveys\u00a029, 366\u2013427 (1997)","journal-title":"ACM Computing Surveys"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12251-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T19:11:34Z","timestamp":1685560294000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12251-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642122507","9783642122514"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12251-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}