{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T19:55:59Z","timestamp":1760298959773,"version":"3.40.4"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2014,7,8]],"date-time":"2014-07-08T00:00:00Z","timestamp":1404777600000},"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":["Autom Softw Eng"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10515-014-0158-y","type":"journal-article","created":{"date-parts":[[2014,7,7]],"date-time":"2014-07-07T11:53:29Z","timestamp":1404734009000},"page":"439-473","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Program-input generation for testing database applications using existing database states"],"prefix":"10.1007","volume":"22","author":[{"given":"Kai","family":"Pan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xintao","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,7,8]]},"reference":[{"key":"158_CR1","unstructured":"Ahmed, R., Lee, A.W., Witkowski, A., Das, D., Su, H., Za\u00eft, M., Cruanes, T.: Cost-based query transformation in Oracle. In: Proceedings of International Conference on Very Large Data Bases (VLDB), pp. 1026\u20131036 (2006)"},{"key":"158_CR2","doi-asserted-by":"crossref","unstructured":"Binnig, C., Kossmann, D., Lo, E.: Reverse query processing. in: Proceedings of IEEE International Conference on Data Engineering (ICDE), pp. 506\u2013515 (2007a)","DOI":"10.1109\/ICDE.2007.367896"},{"key":"158_CR3","doi-asserted-by":"crossref","unstructured":"Binnig, C., Kossmann, D., Lo, E., \u00d6zsu, M.T.: QAGen: generating query-aware test databases. In: Proceedings of ACM SIGMOD Conference pp. 341\u2013352 (2007b)","DOI":"10.1145\/1247480.1247520"},{"key":"158_CR4","doi-asserted-by":"crossref","unstructured":"Binnig, C., Kossmann, D., Lo, E.: Multi-RQP: generating test databases for the functional testing of OLTP applications. in: International Workshop on Testing Database Systems (DBTest), p. 5 (2008)","DOI":"10.1145\/1385269.1385276"},{"key":"158_CR5","unstructured":"Bruno, N., Chaudhuri, S.: Flexible database generators. In: Proceedings of International Conference on Very Large Data Bases (VLDB), pp. 1097\u20131107 (2005)"},{"key":"158_CR6","unstructured":"Chaudhuri, S., Shim, K.: Including group-by in query optimization. In: Proceedings of International Conference on Very Large Data Bases (VLDB), pp. 354\u2013366 (1994)"},{"key":"158_CR7","unstructured":"Chays, D.: Test data generation for relational database applications. PhD thesis, Computer and Information Science, Polytechnic University (2004)"},{"key":"158_CR8","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1002\/stvr.286","volume":"14","author":"D Chays","year":"2004","unstructured":"Chays, D., Deng, Y., Frankl, P.G., Dan, S., Vokolos, F.I., Weyuker, E.J.: An AGENDA to test relational database applications. J. Softw. Test. Verif. Reliab. 14, 17\u201344 (2004)","journal-title":"J. Softw. Test. Verif. Reliab."},{"key":"158_CR9","doi-asserted-by":"crossref","unstructured":"Chays, D., Shahid, J., Frankl, P.G.: Query-based test generation for database applications. In: International Workshop on Testing Database Systems (DBTest), p. 6 (2008)","DOI":"10.1145\/1385269.1385277"},{"key":"158_CR10","unstructured":"Dayal, U.: Of nests and trees: a unified approach to processing queries that contain nested subqueries, aggregates, and quantifiers. In: Proceedings of International Conference on Very Large Data Bases (VLDB), pp. 197\u2013208 (1987)"},{"key":"158_CR11","doi-asserted-by":"crossref","unstructured":"de la Riva, C., Cabal, M.J.S., Tuya, J.: Constraint-based test database generation for SQL queries. In: International Workshop on Automation of Software Test (AST), pp. 67\u201374 (2010)","DOI":"10.1145\/1808266.1808276"},{"key":"158_CR12","doi-asserted-by":"crossref","unstructured":"Deng, Y., Chays, D.: Testing database transactions with AGENDA. In: Proceedings of International Conference on Software Engineering (ICSE), pp. 78\u201387 (2005)","DOI":"10.1145\/1062455.1062486"},{"key":"158_CR13","doi-asserted-by":"crossref","unstructured":"Emmi, M., Majumdar, R., Sen, K.: Dynamic test input generation for database applications. In: Proceedings of International Symposium on Software Testing and Analysis (ISSTA), pp. 151\u2013162 (2007)","DOI":"10.1145\/1273463.1273484"},{"key":"158_CR14","doi-asserted-by":"crossref","unstructured":"Ganski, R.A., Wong, H.K.T.: Optimization of nested SQL queries revisited. In: Proceedings of ACM SIGMOD Conference, pp. 23\u201333 (1987)","DOI":"10.1145\/38713.38723"},{"key":"158_CR15","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Luchaup, D.: Automatic partial loop summarization in dynamic test generation. In: Proceedings of International Symposium on Software Testing and Analysis (ISSTA), pp. 23\u201333 (2011)","DOI":"10.1145\/2001420.2001424"},{"key":"158_CR16","unstructured":"Gupta, A., Harinarayan, V., Quass, D.: Aggregate-query processing in data warehousing environments. In: Proceedings of International Conference on Very Large Data Bases (VLDB), pp. 358\u2013369 (1995)"},{"key":"158_CR17","doi-asserted-by":"crossref","unstructured":"Gupta, B.P., Vira, D., Sudarshan, S.: X-data: generating test data for killing SQL mutants. In: Proceedings of IEEE International Conference on Data Engineering (ICDE), pp. 876\u2013879 (2010)","DOI":"10.1109\/ICDE.2010.5447862"},{"key":"158_CR18","doi-asserted-by":"crossref","unstructured":"Halfond, W.G.J., Orso, A.: Command-form coverage for testing database applications. In: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 69\u201380 (2006)","DOI":"10.1109\/ASE.2006.27"},{"key":"158_CR19","doi-asserted-by":"crossref","unstructured":"Kapfhammer, G.M., Soffa, M.L.: A family of test adequacy criteria for database-driven applications. In: Proceedings of the 9th European Software Engineering Conference held jointly with 11th ACM SIGSOFT International Symposium on Foundations of software engineering (ESEC\/FSE), pp. 98\u2013107 (2003)","DOI":"10.1145\/940071.940086"},{"key":"158_CR20","doi-asserted-by":"crossref","unstructured":"Kapfhammer, G.M., Soffa, M.L.: Database-aware test coverage monitoring. In: Proceedings of the 1st India Software Engineering Conference (ISEC), pp. 77\u201386 (2008)","DOI":"10.1145\/1342211.1342228"},{"key":"158_CR21","doi-asserted-by":"crossref","unstructured":"Khalek, S.A., Khurshid, S.: Automated SQL query generation for systematic testing of database engines. In: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 329\u2013332 (2010)","DOI":"10.1145\/1858996.1859063"},{"key":"158_CR22","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: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 238\u2013247 (2008)","DOI":"10.1109\/ASE.2008.34"},{"issue":"3","key":"158_CR23","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1145\/319732.319745","volume":"7","author":"W Kim","year":"1982","unstructured":"Kim, W.: On optimizing an SQL-like nested query. ACM Trans. Database Syst. 7(3), 443\u2013469 (1982)","journal-title":"ACM Trans. Database Syst."},{"issue":"7","key":"158_CR24","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"158_CR25","doi-asserted-by":"crossref","unstructured":"Li, C., Csallner, C.: Dynamic symbolic database application testing. In: Proceedings of International Workshop on Testing Database Systems (DBTest), pp. 01\u201306 (2010)","DOI":"10.1145\/1838126.1838133"},{"key":"158_CR26","unstructured":"Microsoft Research Foundation of Software Engineering Group: Pex: Dynamic Analysis and Test Generation for .NET"},{"key":"158_CR27","doi-asserted-by":"crossref","unstructured":"Pan, K., Wu, X., Xie, T.: Database state generation via dynamic symbolic execution for coverage criteria. In: Proceedings of International Workshop on Testing Database Systems (DBTest), pp. 01\u201306 (2011a)","DOI":"10.1145\/1988842.1988846"},{"key":"158_CR28","doi-asserted-by":"crossref","unstructured":"Pan, K., Wu, X., Xie, T.: Generating program inputs for database application testing. In: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 73\u201382 (2011b)","DOI":"10.1109\/ASE.2011.6100152"},{"key":"158_CR29","doi-asserted-by":"crossref","unstructured":"Pan, K., Wu, X., Xie, T.: Guided test generation for database applications via synthesized database interactions. In: ACM Transactions on Software Engineering and Methodology, 23(2), 12 (2014)","DOI":"10.1145\/2491529"},{"key":"158_CR30","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: Proceedings of the joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE), pp. 263\u2013272 (2005)","DOI":"10.1145\/1081706.1081750"},{"key":"158_CR31","doi-asserted-by":"crossref","unstructured":"Seshadri, P., Pirahesh, H., Leung, T.Y.C.: Complex query decorrelation. In: Proceedings of the Twelfth International Conference on Data Engineering (ICDE), pp. 450\u2013458 (1996)","DOI":"10.1109\/ICDE.1996.492194"},{"key":"158_CR32","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: Proceedings of the Twelfth International Conference on Data Engineering (ICDE), pp. 1175\u20131186 (2011)","DOI":"10.1109\/ICDE.2011.5767876"},{"key":"158_CR33","doi-asserted-by":"crossref","unstructured":"Taneja, K., Zhang, Y., Xie, T.: MODA: automated test generation for database applications via mock objects. In: Proceedings of IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 289\u2013292 (2010)","DOI":"10.1145\/1858996.1859053"},{"key":"158_CR34","doi-asserted-by":"crossref","unstructured":"Tuya, J., Cabal, M.J.S., de la Riva, C.: SQLMutation: a tool to generate mutants of SQL database queries. In: Proceedings of the Second Workshop on Mutation Analysis, p. 1 (2006)","DOI":"10.1109\/MUTATION.2006.13"},{"issue":"4","key":"158_CR35","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., Cabal, M.J.S., de la Riva, C.: Mutating database queries. Inf. Softw. Technol. 49(4), 398\u2013417 (2007)","journal-title":"Inf. Softw. Technol."},{"key":"158_CR36","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. J. Softw. Test. Verif. Reliab. 20, 237\u2013288 (2010)","journal-title":"J. Softw. Test. Verif. Reliab."},{"key":"158_CR37","doi-asserted-by":"crossref","unstructured":"Willmor, D., Embury, S.M.: An intensional approach to the specification of test cases for database applications. In: Proceedings of International Conference on Software Engineering (ICSE), pp. 102\u2013111 (2006a)","DOI":"10.1145\/1134285.1134301"},{"key":"158_CR38","doi-asserted-by":"crossref","unstructured":"Willmor, D., Embury, S.M.: Testing the implementation of business rules using intensional database tests. In: TAIC PART, pp. 115\u2013126 (2006b)","DOI":"10.1109\/TAIC-PART.2006.28"},{"key":"158_CR39","doi-asserted-by":"crossref","unstructured":"Wu, X., Sanghvi, C., Wang, Y., Zheng, Y.: Privacy aware data generation for testing database applications. In: Proceedings of International Database Engineering and Applications Symposium (IDEAS), pp. 317\u2013326 (2005)","DOI":"10.1109\/IDEAS.2005.45"},{"key":"158_CR40","unstructured":"Wu, X., Wang, Y., Guo, S., Zheng, Y.: Privacy preserving database generation for database application testing. Fundam. Inf. 78(4), 595\u2013612 (2007)"},{"key":"158_CR41","doi-asserted-by":"crossref","unstructured":"Zhou, C., Frankl, P.G.: Mutation testing for java database applications. In: Proceedings of IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 396\u2013405 (2009)","DOI":"10.1109\/ICST.2009.43"},{"key":"158_CR42","doi-asserted-by":"crossref","unstructured":"Zhou, C., Frankl, P.G.: Inferential checking for mutants modifying database states. In: Proceedings of IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 259\u2013268 (2011a)","DOI":"10.1109\/ICST.2011.63"},{"issue":"3","key":"158_CR43","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1002\/stvr.462","volume":"21","author":"C Zhou","year":"2011","unstructured":"Zhou, C., Frankl, P.G.: JDAMA: Java database application mutation analyser. Softw. Test. Verif. Reliab. 21(3), 241\u2013263 (2011b)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"158_CR44","doi-asserted-by":"crossref","unstructured":"Zhou, C., Frankl, P.G.: Empirical studies on test effectiveness for database applications. In: Proceedings of IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 61\u201370 (2012)","DOI":"10.1109\/ICST.2012.86"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-014-0158-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-014-0158-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-014-0158-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T17:56:22Z","timestamp":1746294982000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-014-0158-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,8]]},"references-count":44,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["158"],"URL":"https:\/\/doi.org\/10.1007\/s10515-014-0158-y","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2014,7,8]]}}}