{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,22]],"date-time":"2025-07-22T10:40:02Z","timestamp":1753180802460,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642103728"},{"type":"electronic","value":"9783642103735"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10373-5_3","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T11:45:27Z","timestamp":1258371927000},"page":"49-68","source":"Crossref","is-referenced-by-count":29,"title":["Symbolic Query Exploration"],"prefix":"10.1007","author":[{"given":"Margus","family":"Veanes","sequence":"first","affiliation":[]},{"given":"Pavel","family":"Grigorenko","sequence":"additional","affiliation":[]},{"given":"Peli","family":"de Halleux","sequence":"additional","affiliation":[]},{"given":"Nikolai","family":"Tillmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"SELECT (T-SQL), http:\/\/msdn.microsoft.com\/en-us\/library\/ms189499.aspx"},{"key":"3_CR2","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":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-642-00768-2_27","volume-title":"TACAS 2009","author":"N. Bj\u00f8rner","year":"2009","unstructured":"Bj\u00f8rner, N., Tillmann, N., Voronkov, A.: Path feasibility analysis for string-manipulating programs. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 307\u2013321. Springer, Heidelberg (2009)"},{"key":"3_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":"3_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":"3_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1385269.1385277","volume-title":"Proceedings of the 1st International Workshop on Testing Database Systems (DBTest\u201908)","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":"3_CR7","unstructured":"Chinaei, H.R.: An ordered bag semantics of SQL. Master\u2019s thesis, University of Waterloo, Waterloo, Ontario, Canada (2007)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"296","DOI":"10.1007\/11513988_30","volume-title":"Computer Aided Verification","author":"B. Cook","year":"2005","unstructured":"Cook, B., Kr\u00f6ning, 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":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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":"3_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)"},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1062455.1062486","volume-title":"ICSE 2005: Proceedings of the 27th international conference on Software engineering","author":"Y. Deng","year":"2005","unstructured":"Deng, Y., Frankl, P., Chays, D.: Testing database transactions with AGENDA. In: ICSE 2005: Proceedings of the 27th international conference on Software engineering, pp. 78\u201387. ACM, New York (2005)"},{"key":"3_CR12","doi-asserted-by":"crossref","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":"6","key":"3_CR13","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":"3_CR14","volume-title":"Software Abstractions","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions. MIT Press, Cambridge (2006)"},{"key":"3_CR15","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":"3_CR16","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":"3_CR17","unstructured":"Pex, http:\/\/research.microsoft.com\/projects\/pex"},{"key":"3_CR18","unstructured":"Qex, http:\/\/research.microsoft.com\/projects\/qex"},{"issue":"3","key":"3_CR19","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."},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex - white box test generation for .NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"issue":"3","key":"3_CR21","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":"3_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Perspectives of System Informatics (PSI 2009)","author":"M. Veanes","year":"2009","unstructured":"Veanes, M., Bj\u00f8rner, N.: Symbolic bounded conformance checking of model programs. In: Pnueli, A., Virbitskaite, I., Voronkov, A. (eds.) Perspectives of System Informatics (PSI 2009). LNCS. Springer, Heidelberg (2009)"},{"issue":"2-3","key":"3_CR23","first-page":"149","volume":"3","author":"M. Veanes","year":"2009","unstructured":"Veanes, M., Bj\u00f8rner, N., Gurevich, Y., Schulte, W.: Symbolic bounded model checking of abstract state machines. Int. J. Software Informatics\u00a03(2-3), 149\u2013170 (2009)","journal-title":"Int. J. Software Informatics"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Veanes, M., Grigorenko, P., de Halleux, P., Tillmann, N.: Symbolic query exploration. Technical Report MSR-TR-2009-65, Microsoft Research (May 2009)","DOI":"10.1007\/978-3-642-10373-5_3"},{"key":"3_CR25","unstructured":"Z3, http:\/\/research.microsoft.com\/projects\/z3"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10373-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T07:23:31Z","timestamp":1739431411000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10373-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642103728","9783642103735"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10373-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}