{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:06:27Z","timestamp":1755925587908,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642175107"},{"type":"electronic","value":"9783642175114"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-17511-4_24","type":"book-chapter","created":{"date-parts":[[2010,12,7]],"date-time":"2010-12-07T06:24:40Z","timestamp":1291703080000},"page":"425-446","source":"Crossref","is-referenced-by-count":19,"title":["Qex: Symbolic SQL Query Explorer"],"prefix":"10.1007","author":[{"given":"Margus","family":"Veanes","sequence":"first","affiliation":[]},{"given":"Nikolai","family":"Tillmann","sequence":"additional","affiliation":[]},{"given":"Jonathan","family":"de Halleux","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"SELECT (T-SQL), http:\/\/msdn.microsoft.com\/en-us\/library\/ms189499.aspx."},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/ICDE.2007.367896","volume-title":"Proceedings of the 23rd International Conference on Data Engineering (ICDE 2007)","author":"C. Binnig","year":"2007","unstructured":"Binnig, C., Kossmann, D., Lo, E.: Reverse query processing. In: Proceedings of the 23rd International Conference on Data Engineering (ICDE 2007), pp. 506\u2013515. IEEE, Los Alamitos (2007)"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1145\/1247480.1247520","volume-title":"SIGMOD 2007: Proceedings of the 2007 ACM SIGMOD international conference on Management of data","author":"C. Binnig","year":"2007","unstructured":"Binnig, C., Kossmann, D., Lo, E., \u00d6zsu, M.T.: Qagen: generating query-aware test databases. In: SIGMOD 2007: Proceedings of the 2007 ACM SIGMOD international conference on Management of data, pp. 341\u2013352. ACM, New York (2007)"},{"key":"24_CR4","volume-title":"A computational logic handbook","author":"R.S. Boyer","year":"1988","unstructured":"Boyer, R.S., Moore, J.S.: A computational logic handbook. Academic Press Professional, Inc., San Diego (1988)"},{"issue":"2","key":"24_CR5","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/78922.78924","volume":"15","author":"U.S. Chakravarthy","year":"1990","unstructured":"Chakravarthy, U.S., Grant, J., Minker, J.: Logic-based approach to semantic query optimization. ACM Trans. Database Syst.\u00a015(2), 162\u2013207 (1990)","journal-title":"ACM Trans. Database Syst."},{"key":"24_CR6","first-page":"1","volume-title":"Proceedings of the 1st International Workshop on Testing Database Systems (DBTest 2008)","author":"D. Chays","year":"2008","unstructured":"Chays, D., Shahid, J., Frankl, P.G.: Query-based test generation for database applications. In: Proceedings of the 1st International Workshop on Testing Database Systems (DBTest 2008), pp. 1\u20136. ACM, New York (2008)"},{"key":"24_CR7","unstructured":"Chinaei, H.R.: An ordered bag semantics of SQL. Master\u2019s thesis, University of Waterloo, Waterloo, Ontario, Canada (2007)"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/11513988_30","volume-title":"Computer Aided Verification","author":"B. Cook","year":"2005","unstructured":"Cook, B., Kroening, D., Sharygina, N.: Cogent: Accurate theorem proving for program verification. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 296\u2013300. Springer, Heidelberg (2005)"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/3-540-63045-7_7","volume-title":"Logical Foundations of Computer Science","author":"E. Dantsin","year":"1997","unstructured":"Dantsin, E., Voronkov, A.: Complexity of query answering in logic databases with complex values. In: Adian, S., Nerode, A. (eds.) LFCS 1997. LNCS, vol.\u00a01234, pp. 56\u201366. Springer, Heidelberg (1997)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"issue":"1","key":"24_CR11","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1145\/1629175.1629198","volume":"53","author":"J. Dean","year":"2010","unstructured":"Dean, J., Ghemawat, S.: MapReduce: a flexible data processing tool. Commun. ACM\u00a053(1), 72\u201377 (2010)","journal-title":"Commun. ACM"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Deng, Y., Frankl, P., Chays, D.: Testing database transactions with AGENDA. In: ICSE 2005, pp. 78\u201387. ACM, New York (2005)","DOI":"10.1145\/1062455.1062486"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/1273463.1273484","volume-title":"Proceedings of the 2007 International Symposium on Software Testing and Analysis (ISSTA 2007)","author":"M. Emmi","year":"2007","unstructured":"Emmi, M., Majumdar, R., Sen, K.: Dynamic test input generation for database applications. In: Proceedings of the 2007 International Symposium on Software Testing and Analysis (ISSTA 2007), pp. 151\u2013162. ACM, New York (2007)"},{"issue":"2-3","key":"24_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1023\/A:1008705026446","volume":"12","author":"T. Grust","year":"1999","unstructured":"Grust, T., Scholl, M.H.: How to comprehend queries functionally. Journal of Intelligent Information Systems\u00a012(2-3), 191\u2013218 (1999)","journal-title":"Journal of Intelligent Information Systems"},{"key":"24_CR15","volume-title":"Model theory","author":"W. Hodges","year":"1995","unstructured":"Hodges, W.: Model theory. Cambridge Univ. Press, Cambridge (1995)"},{"issue":"6","key":"24_CR16","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1145\/357474.355063","volume":"25","author":"D. Jackson","year":"2000","unstructured":"Jackson, D.: Automating first-order relational logic. SIGSOFT Softw. Eng. Notes\u00a025(6), 130\u2013139 (2000)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"24_CR17","volume-title":"Software Abstractions","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions. MIT Press, Cambridge (2006)"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Khalek, S.A., Elkarablieh, B., Laleye, Y.O., Khurshid, S.: Query-aware test generation using a relational constraint solver. In: ASE, pp. 238\u2013247 (2008)","DOI":"10.1109\/ASE.2008.34"},{"issue":"3","key":"24_CR19","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1145\/111197.111212","volume":"17","author":"M. Negri","year":"1991","unstructured":"Negri, M., Pelagatti, G., Sbattella, L.: Formal semantics of SQL queries. ACM Transactions on Database Systems\u00a017(3), 513\u2013534 (1991)","journal-title":"ACM Transactions on Database Systems"},{"key":"24_CR20","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/1559845.1559873","volume-title":"SIGMOD","author":"C. Olston","year":"2009","unstructured":"Olston, C., Chopra, S., Srivastava, U.: Generating example data for dataflow programs. In: SIGMOD, pp. 245\u2013256. ACM, New York (2009)"},{"key":"24_CR21","doi-asserted-by":"publisher","first-page":"1099","DOI":"10.1145\/1376616.1376726","volume-title":"SIGMOD","author":"C. Olston","year":"2008","unstructured":"Olston, C., Reed, B., Srivastava, U., Kumar, R., Tomkins, A.: Pig latin: a not-so-foreign language for data processing. In: SIGMOD, pp. 1099\u20131110. ACM, New York (2008)"},{"key":"24_CR22","unstructured":"Pex, http:\/\/research.microsoft.com\/projects\/pex"},{"key":"24_CR23","unstructured":"Qex, http:\/\/research.microsoft.com\/projects\/qex"},{"key":"24_CR24","unstructured":"Ranise, S., Tinelli, C.: The SMT-LIB Standard: Version 1.2. Technical report, Department of Computer Science, The University of Iowa (2006), www.SMT-LIB.org"},{"issue":"3","key":"24_CR25","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T. Sheard","year":"1989","unstructured":"Sheard, T., Stemple, D.: Automatic verification of database transaction safety. ACM Trans. Database Syst.\u00a014(3), 322\u2013368 (1989)","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"24_CR26","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1109\/32.48939","volume":"16","author":"W.T. Tsai","year":"1990","unstructured":"Tsai, W.T., Volovik, D., Keefe, T.F.: Automated test case generation for programs specified by relational algebra queries. IEEE Trans. Softw. Eng.\u00a016(3), 316\u2013324 (1990)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"24_CR27","volume-title":"Third International Conference on Software Testing, Verification and Validation (ICST 2010)","author":"M. Veanes","year":"2010","unstructured":"Veanes, M., de Halleux, P., Tillmann, N.: Rex: Symbolic regular expression explorer. In: Cavalli, A., Ghosh, S. (eds.) Third International Conference on Software Testing, Verification and Validation (ICST 2010), Paris, France, IEEE, Los Alamitos (April 2010)"},{"key":"24_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-10373-5_3","volume-title":"Formal Methods and Software Engineering","author":"M. Veanes","year":"2009","unstructured":"Veanes, M., Grigorenko, P., de Halleux, P., Tillmann, N.: Symbolic query exploration. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol.\u00a05885, pp. 49\u201368. Springer, Heidelberg (2009)"},{"key":"24_CR29","doi-asserted-by":"crossref","unstructured":"Willmor, D., Embury, S.M.: An intensional approach to the specification of test cases for database applications. In: 28th International Conference on Software Engineering, pp. 102\u2013111 (2006)","DOI":"10.1145\/1134285.1134301"},{"key":"24_CR30","unstructured":"Z3, http:\/\/research.microsoft.com\/projects\/z3"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17511-4_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,28]],"date-time":"2025-02-28T14:05:55Z","timestamp":1740751555000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17511-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642175107","9783642175114"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17511-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}