{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T04:19:51Z","timestamp":1745122791768,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642342806"},{"type":"electronic","value":"9783642342813"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34281-3_32","type":"book-chapter","created":{"date-parts":[[2012,10,29]],"date-time":"2012-10-29T18:38:09Z","timestamp":1351535889000},"page":"462-477","source":"Crossref","is-referenced-by-count":2,"title":["ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications"],"prefix":"10.1007","author":[{"given":"Tanmoy","family":"Sarkar","sequence":"first","affiliation":[]},{"given":"Samik","family":"Basu","sequence":"additional","affiliation":[]},{"given":"Johnny S.","family":"Wong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Brandl, H., J\u00f6bstl, E., Krenn, W.: Efficient mutation killers in action. In: ICST, pp. 120\u2013129 (2011)","DOI":"10.1109\/ICST.2011.57"},{"issue":"6","key":"32_CR2","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1109\/TPDS.2004.11","volume":"15","author":"H. Andrade","year":"2004","unstructured":"Andrade, H., Kurc, T., Sussman, A., Saltz, J.: Optimizing the execution of multiple data analysis queries on parallel and distributed environments. IEEE Trans. Parallel Distrib. Syst.\u00a015(6), 520\u2013532 (2004)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: ICSE, pp. 402\u2013411 (2005)","DOI":"10.1145\/1062455.1062530"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Binnig, C., Kossmann, D., Lo, E.: Reverse query processing. In: Chirkova, R., Dogac, A., \u00d6zsu, M.T., Sellis, T.K. (eds.) ICDE, pp. 506\u2013515. IEEE (2007)","DOI":"10.1109\/ICDE.2007.367896"},{"issue":"1","key":"32_CR5","doi-asserted-by":"publisher","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 for testing relational database applications. Softw. Test., Verif. Reliab.\u00a014(1), 17\u201344 (2004)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"32_CR6","doi-asserted-by":"crossref","unstructured":"Chays, D., Shahid, J., Frankl, P.G.: Query-based test generation for database applications. In: Giakoumakis, L., Kossmann, D. (eds.) DBTest, p. 6. ACM (2008)","DOI":"10.1145\/1385269.1385277"},{"issue":"4","key":"32_CR7","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R.A. DeMillo","year":"1978","unstructured":"DeMillo, R.A., Lipton, R.J., Sayward, F.G.: Hints on test data selection: Help for the practicing programmer. Computer\u00a011(4), 34\u201341 (1978)","journal-title":"Computer"},{"issue":"9","key":"32_CR8","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 Trans. Software Eng.\u00a017(9), 900\u2013910 (1991)","journal-title":"IEEE Trans. Software Eng."},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"Emmi, M., Majumdar, R., Sen, K.: Dynamic test input generation for database applications. In: Rosenblum, D.S., Elbaum, S.G. (eds.) ISSTA, pp. 151\u2013162. ACM (2007)","DOI":"10.1145\/1273463.1273484"},{"issue":"4","key":"32_CR10","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TSE.1982.235571","volume":"8","author":"W.E. Howden","year":"1982","unstructured":"Howden, W.E.: Weak mutation testing and completeness of test sets. IEEE Trans. Software Eng.\u00a08(4), 371\u2013379 (1982)","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"32_CR11","doi-asserted-by":"publisher","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. Software Eng.\u00a037(5), 649\u2013678 (2011)","journal-title":"IEEE Trans. Software Eng."},{"key":"32_CR12","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. IEEE (2008)","DOI":"10.1109\/ASE.2008.34"},{"issue":"2","key":"32_CR13","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.entcs.2009.09.052","volume":"253","author":"W. Krenn","year":"2009","unstructured":"Krenn, W., Aichernig, B.K.: Test case generation by contract mutation in spec#. Electr. Notes Theor. Comput. Sci.\u00a0253(2), 71\u201386 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Li, C., Csallner, C.: Dynamic symbolic database application testing. In: Babu, S., Paulley, G.N. (eds.) DBTest. ACM (2010)","DOI":"10.1145\/1838126.1838133"},{"issue":"2","key":"32_CR15","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V","volume":"29","author":"A.J. Offutt","year":"1999","unstructured":"Offutt, A.J., Jin, Z., Pan, J.: The dynamic domain reduction procedure for test data generation. Softw., Pract. Exper.\u00a029(2), 167\u2013193 (1999)","journal-title":"Softw., Pract. Exper."},{"key":"32_CR16","doi-asserted-by":"crossref","unstructured":"Offutt, A.J., Rothermel, G., Zapf, C.: An experimental evaluation of selective mutation. In: Basili, V.R., DeMillo, R.A., Katayama, T. (eds.) ICSE, pp. 100\u2013107. IEEE Computer Society\/ACM Press (1993)","DOI":"10.1109\/ICSE.1993.346062"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Sen, K.: Concolic testing. In: Stirewalt, R.E.K., Egyed, A., Fischer, B. (eds.) ASE, pp. 571\u2013572. ACM (2007)","DOI":"10.1145\/1321631.1321746"},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"Taneja, K., Zhang, Y., Xie, T.: MODA: Automated test generation for database applications via mock objects. In: Pecheur, C., Andrews, J., Nitto, E.D. (eds.) ASE, pp. 289\u2013292. ACM (2010)","DOI":"10.1145\/1858996.1859053"},{"key":"32_CR19","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\u2013White Box Test Generation for .NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"issue":"4","key":"32_CR20","doi-asserted-by":"publisher","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. Information & Software Technology\u00a049(4), 398\u2013417 (2007)","journal-title":"Information & Software Technology"},{"issue":"3","key":"32_CR21","doi-asserted-by":"publisher","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.\u00a020(3), 237\u2013288 (2010)","journal-title":"Softw. Test., Verif. Reliab."},{"key":"32_CR22","doi-asserted-by":"crossref","unstructured":"Voas, J.: Software fault injection: Growing \u201csafer\u201d systems. In: IEEE Aerospace Conf., vol.\u00a02, pp. 551\u2013561 (February 1997)","DOI":"10.1109\/AERO.1997.578000"},{"key":"32_CR23","doi-asserted-by":"crossref","unstructured":"Weng, L., \u00c7ataly\u00fcrek, \u00dc.V., Kur\u00e7, T.M., Agrawal, G., Saltz, J.H.: Optimizing multiple queries on scientific datasets with partial replicas. In: GRID, pp. 259\u2013266. IEEE (2007)","DOI":"10.1109\/GRID.2007.4354141"}],"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-34281-3_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T21:24:30Z","timestamp":1745097870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34281-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642342806","9783642342813"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34281-3_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}