{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T07:13:16Z","timestamp":1779174796638,"version":"3.51.4"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,8,2]],"date-time":"2015-08-02T00:00:00Z","timestamp":1438473600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["The VLDB Journal"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s00778-015-0395-0","type":"journal-article","created":{"date-parts":[[2015,8,1]],"date-time":"2015-08-01T09:37:28Z","timestamp":1438421848000},"page":"731-755","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":42,"title":["Data generation for testing and grading SQL queries"],"prefix":"10.1007","volume":"24","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6855-2985","authenticated-orcid":false,"given":"Bikash","family":"Chandra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bhupesh","family":"Chawda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Biplab","family":"Kar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. V. Maheshwara","family":"Reddy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shetal","family":"Shah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Sudarshan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,2]]},"reference":[{"key":"395_CR1","doi-asserted-by":"crossref","unstructured":"Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanovi\u0107, D., King, T., Reynolds, A., Tinelli, C.: CVC4. In: 23rd International Conference on Computer Aided Verification (CAV\u201911), pp. 171\u2013177. Springer, Berlin, Heidelberg (2011)","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"395_CR2","unstructured":"Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Biere, A., van Maaren, H., Walsh, T. (eds.) Handbook of Satisfiability, vol.\u00a04, chap.\u00a08. IOS Press (2009)"},{"key":"395_CR3","doi-asserted-by":"crossref","unstructured":"Barrett, C., Tinelli, C.: CVC3. In: Computer Aided Verification (CAV), pp. 298\u2013302 (2007)","DOI":"10.1007\/978-3-540-73368-3_34"},{"key":"395_CR4","doi-asserted-by":"crossref","unstructured":"Bhangadiya, A., Chandra, B., Kar, B., Radhakrishnan, B., Reddy, K.V.M., Shah, S., Sudarshan, S.: The XDa-TA system for automated grading of SQL query assignments. In: ICDE (2015)","DOI":"10.1109\/ICDE.2015.7113403"},{"key":"395_CR5","doi-asserted-by":"crossref","unstructured":"Binnig, C., Kossmann, D., Lo., E.: Reverse query processing. In: ICDE, pp. 506\u2013515 (2007)","DOI":"10.1109\/ICDE.2007.367896"},{"key":"395_CR6","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: STOC, pp. 77\u201390 (1977)","DOI":"10.1145\/800105.803397"},{"key":"395_CR7","doi-asserted-by":"crossref","unstructured":"Chandra, B., Chawda, B., Shah, S., Sudarshan, S., Shah, A.: Extending XData to kill SQL query mutants in the wild. In: Sixth International Workshop on Testing Database Systems, DBTest \u201913, Held in Conjunction with ACM SIGMOD, pp. 2:1\u20132:6 (2013)","DOI":"10.1145\/2479440.2479442"},{"key":"395_CR8","doi-asserted-by":"crossref","unstructured":"de\u00a0la Riva, C., Su\u00e1rez-Cabal, M.J., Tuya, J.: Constraint-based test database generation for SQL queries. In: Workshop on Automation of Software Test (AST \u201910), pp. 67\u201374 (2010)","DOI":"10.1145\/1808266.1808276"},{"key":"395_CR9","doi-asserted-by":"crossref","unstructured":"Emmi, M., Majumdar, R., Sen, K.: Dynamic test input generation for database applications. In: International Symposium on Software Testing and Analysis, pp. 151\u2013162 (2007)","DOI":"10.1145\/1273463.1273484"},{"issue":"6","key":"395_CR10","doi-asserted-by":"crossref","first-page":"847","DOI":"10.1007\/s00165-011-0214-3","volume":"25","author":"X Fu","year":"2013","unstructured":"Fu, X., Powell, M., Bantegui, M., Li, C.C.: Simple linear string constraints. Form. Asp. Comput. 25(6), 847\u2013891 (2013)","journal-title":"Form. Asp. Comput."},{"key":"395_CR11","doi-asserted-by":"crossref","unstructured":"Gupta, B.P., Vira, D., Sudarshan, S.: X-Data: Generating Test Data for Killing SQL Mutants. In: ICDE (2010)","DOI":"10.1109\/ICDE.2010.5447862"},{"key":"395_CR12","doi-asserted-by":"crossref","unstructured":"Jackson, D.: Alloy: A new technology for software modelling. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS, vol. 2280, pp. 20\u201320 (2002)","DOI":"10.1007\/3-540-46002-0_2"},{"key":"395_CR13","doi-asserted-by":"crossref","unstructured":"Jayram, T.S., Kolaitis, P.G., Vee, E.: The containment problem for real conjunctive queries with inequalities. In: PODS, pp. 80\u201389 (2006)","DOI":"10.1145\/1142351.1142363"},{"issue":"5","key":"395_CR14","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1109\/TSE.2010.62","volume":"37","author":"Y Jia","year":"2011","unstructured":"Jia, Y., Harman, M.: An analysis and survey of the development of mutation testing. IEEE Trans. Softw. Eng. 37(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"395_CR15","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1145\/949952.940086","volume":"28","author":"GM Kapfhammer","year":"2003","unstructured":"Kapfhammer, G.M., Soffa, M.L.: A family of test adequacy criteria for database-driven applications. SIGSOFT Softw. Eng. Notes 28(5), 98\u2013107 (2003)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"395_CR16","doi-asserted-by":"crossref","unstructured":"Kiezun, A., Ganesh, V., Guo, P.J., Hooimeijer, P., Ernst, M.D.: HAMPI: a solver for string constraints. In: International Symposium on Software Testing and Analysis, pp. 105\u2013116. ACM, New York, NY, USA (2009)","DOI":"10.1145\/1572272.1572286"},{"issue":"1","key":"395_CR17","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1145\/42267.42273","volume":"35","author":"A Klug","year":"1988","unstructured":"Klug, A.: On conjunctive queries containing inequalities. J. ACM 35(1), 146\u2013160 (1988)","journal-title":"J. ACM"},{"key":"395_CR18","doi-asserted-by":"crossref","unstructured":"Liang, T., Reynolds, A., Tinelli, C., Barrett, C., Deters, M.: A DPLL (T) theory solver for a theory of strings and regular expressions. In: Computer Aided Verification, pp. 646\u2013662. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-08867-9_43"},{"key":"395_CR19","unstructured":"Mller, A.: Automaton Pakage dk.brics.automaton. http:\/\/www.brics.dk\/automaton\/"},{"key":"395_CR20","doi-asserted-by":"crossref","unstructured":"Olston, C., Chopra, S., Srivastava, U.: Generating example data for dataflow programs. In: SIGMOD Conference, pp. 245\u2013256 (2009)","DOI":"10.1145\/1559845.1559873"},{"key":"395_CR21","doi-asserted-by":"crossref","unstructured":"Pan, K., Wu, X., Xie, T.: Database state generation via dynamic symbolic execution for coverage criteria. In: Fourth International Workshop on Testing Database Systems, DBTest \u201911, Held in Conjunction with ACM SIGMOD, pp. 4:1\u20134:6 (2011)","DOI":"10.1145\/1988842.1988846"},{"key":"395_CR22","doi-asserted-by":"crossref","unstructured":"Pan, K., Wu, X., Xie, T.: Automatic test generation for mutation testing on database applications. In: 8th International Workshop on Automation of Software Test (AST), pp. 111\u2013117 (2013)","DOI":"10.1109\/IWAST.2013.6595801"},{"key":"395_CR23","doi-asserted-by":"crossref","unstructured":"Pan, K., Wu, X., Xie, T.: Guided test generation for database applications via synthesized database interactions. ACM TOSEM (2014)","DOI":"10.1145\/2491529"},{"key":"395_CR24","unstructured":"SMT-LIB\u2014The Satisfiability Modulo Theories Library. http:\/\/smt-lib.org\/"},{"key":"395_CR25","unstructured":"SQLFpc\u2014Generation of Full Predicate Coverage Rules for SQL Database Queries (MCDC for SQL) (2014). http:\/\/in2test.lsi.uniovi.es\/sqlfpc\/SQLFpcWeb.aspx"},{"key":"395_CR26","unstructured":"Saxena, P., Akhawe, D., McCamant, S., Song, D.: KALUZA. http:\/\/webblaze.cs.berkeley.edu\/2010\/kaluza\/"},{"key":"395_CR27","doi-asserted-by":"crossref","unstructured":"Shah, S., Sudarshan, S., Kajbaje, S., Patidar, S., Gupta, B.P., Vira, D.: Generating test data for killing SQL mutants: a constraint-based approach. In: ICDE (2011)","DOI":"10.1109\/ICDE.2011.5767876"},{"key":"395_CR28","volume-title":"Database System Concepts","author":"A Silberschatz","year":"2010","unstructured":"Silberschatz, A., Korth, H.F., Sudarshan, S.: Database System Concepts, 6th edn. McGraw Hill, New York (2010)","edition":"6"},{"issue":"3","key":"395_CR29","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1002\/stvr.424","volume":"20","author":"J Tuya","year":"2010","unstructured":"Tuya, J., Cabal, M.J.S., de la Riva, C.: Full predicate coverage for testing SQL database queries. Softw. Test. Verif. Reliab. 20(3), 237\u2013288 (2010)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"4","key":"395_CR30","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1016\/j.infsof.2006.06.009","volume":"49","author":"J Tuya","year":"2007","unstructured":"Tuya, J., Suarez-Cabal, M.J., de la Riva, C.: Mutating database queries. Inf. Softw. Technol. 49(4), 398\u2013417 (2007)","journal-title":"Inf. Softw. Technol."},{"key":"395_CR31","doi-asserted-by":"crossref","unstructured":"van\u00a0der Meyden, R.: The complexity of querying indefinite data about linearly ordered domains. In: ACM PODS, pp. 331\u2013345 (1992)","DOI":"10.1145\/137097.137902"},{"key":"395_CR32","doi-asserted-by":"crossref","unstructured":"Veanes, M., Grigorenko, P., de\u00a0Halleux, P., Tillmann, N.: Symbolic query exploration. In: ICFEM, pp. 49\u201368 (2009)","DOI":"10.1007\/978-3-642-10373-5_3"},{"key":"395_CR33","doi-asserted-by":"crossref","unstructured":"Veanes, M., de\u00a0Halleux, P., Tillmann, N.: Rex: Symbolic regular expression explorer. In: ICST, pp. 498\u2013507 (2010)","DOI":"10.1109\/ICST.2010.15"},{"key":"395_CR34","doi-asserted-by":"crossref","unstructured":"Veanes, M., Tillmann, N., de\u00a0Halleux, J.: Qex: Symbolic SQL query explorer. In: LPAR, pp. 425\u2013446 (2010)","DOI":"10.1007\/978-3-642-17511-4_24"},{"key":"395_CR35","doi-asserted-by":"crossref","unstructured":"Zhang, L., Xie, T., Zhang, L., Tillmann, N., De\u00a0Halleux, J., Mei, H.: Test generation via dynamic symbolic execution for mutation testing. In: IEEE International Conference on Software Maintenance (ICSM), pp. 1\u201310 (2010)","DOI":"10.1109\/ICSM.2010.5609672"}],"container-title":["The VLDB Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-015-0395-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00778-015-0395-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00778-015-0395-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T20:16:55Z","timestamp":1567023415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00778-015-0395-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,2]]},"references-count":35,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["395"],"URL":"https:\/\/doi.org\/10.1007\/s00778-015-0395-0","relation":{},"ISSN":["1066-8888","0949-877X"],"issn-type":[{"value":"1066-8888","type":"print"},{"value":"0949-877X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,2]]}}}