{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:21:50Z","timestamp":1750220510001,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,3,22]],"date-time":"2021-03-22T00:00:00Z","timestamp":1616371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,3,22]]},"DOI":"10.1145\/3412841.3442050","type":"proceedings-article","created":{"date-parts":[[2021,4,23]],"date-time":"2021-04-23T05:08:42Z","timestamp":1619154522000},"page":"1778-1787","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Symbolic execution of NoSQL applications using versioned schemas"],"prefix":"10.1145","author":[{"given":"Hendrik","family":"Winkelmann","sequence":"first","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"}]},{"given":"Herbert","family":"Kuchen","sequence":"additional","affiliation":[{"name":"University of M\u00fcnster, M\u00fcnster, Germany"}]}],"member":"320","published-online":{"date-parts":[[2021,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-62222-5_33"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2018.00012"},{"key":"e_1_3_2_1_3_1","volume-title":"EvoMaster: Evolutionary Multi-context Automated System Test Generation. In 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). 394--397","author":"Arcuri A.","year":"2018","unstructured":"A. Arcuri. 2018. EvoMaster: Evolutionary Multi-context Automated System Test Generation. In 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST). 394--397."},{"volume-title":"Private API Access and Functional Mocking in Automated Unit Test Generation. In 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). 126--137","author":"Arcuri A.","key":"e_1_3_2_1_4_1","unstructured":"A. Arcuri, G. Fraser, and R. Just. 2017. Private API Access and Functional Mocking in Automated Unit Test Generation. In 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). 126--137."},{"volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Becker Benedikt","key":"e_1_3_2_1_5_1","unstructured":"Benedikt Becker, Nicolas Jeannerod, Claude March\u00e9, Yann R\u00e9gis-Gianas, Mihaela Sighireanu, and Ralf Treinen. 2020. Analysing installation scenarios of Debian packages. In Tools and Algorithms for the Construction and Analysis of Systems, Armin Biere and David Parker (Eds.). Springer International Publishing, Cham, 235--253."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804322.2804324"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983940"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55481-0"},{"key":"e_1_3_2_1_10_1","first-page":"23","article-title":"MapReduce: A major step backwards","volume":"1","author":"DeWitt David","year":"2008","unstructured":"David DeWitt and Michael Stonebraker. 2008. MapReduce: A major step backwards. The Database Column 1 (2008), 23.","journal-title":"The Database Column"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273484"},{"volume-title":"Unit Testing of Database-Driven Java Enterprise Edition Applications","author":"Fuchs Andreas","key":"e_1_3_2_1_12_1","unstructured":"Andreas Fuchs and Herbert Kuchen. 2017. Unit Testing of Database-Driven Java Enterprise Edition Applications. In Tests and Proofs, Sebastian Gabmeyer and Einar Broch Johnsen (Eds.). Springer International Publishing, Cham, 59--76."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167294"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-019-09453-6"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSC.2011.6138544"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2020.106319"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765871.1765924"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2009.33"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2016.93"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491529"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-009-0118-1"},{"key":"e_1_3_2_1_23_1","volume-title":"Quoc-Sang Phan, Jun Sun, and Shengchao Qin.","author":"Pham Long H.","year":"2019","unstructured":"Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, and Shengchao Qin. 2019. Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation. In Automated Technology for Verification and Analysis, Yu-Fang Chen, Chih-Hong Cheng, and Javier Esparza (Eds.). Springer International Publishing, Cham, 209--227."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","unstructured":"John F. Roddick. 2009. Schema Versioning. Springer US Boston MA 2499--2502. 10.1007\/978-0-387-39940-9_323","DOI":"10.1007\/978-0-387-39940-9_323"},{"key":"e_1_3_2_1_26_1","volume-title":"Severino Feliciano Morales, and Jes\u00fas Garc\u00eda Molina","author":"Ruiz Diego Sevilla","year":"2015","unstructured":"Diego Sevilla Ruiz, Severino Feliciano Morales, and Jes\u00fas Garc\u00eda Molina. 2015. Inferring Versioned Schemas from NoSQL Databases and Its Applications. In Conceptual Modeling, Paul Johannesson, Mong Li Lee, Stephen W. Liddle, Andreas L. Opdahl, and \u00d3scar Pastor L\u00f3pez (Eds.). Springer International Publishing, Cham, 467--480."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859053"},{"volume-title":"Pex-White Box Test Generation for .NET","author":"Tillmann Nikolai","key":"e_1_3_2_1_28_1","unstructured":"Nikolai Tillmann and Jonathan de Halleux. 2008. Pex-White Box Test Generation for .NET. In Tests and Proofs, Bernhard Beckert and Reiner H\u00e4hnle (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 134--153."},{"volume-title":"21st IEEE\/ACM International Conference on Automated Software Engineering (ASE'06)","author":"Tillmann N.","key":"e_1_3_2_1_29_1","unstructured":"N. Tillmann and W. Schulte. 2006. Mock-object generation with behavior. In 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE'06). 365--368."}],"event":{"name":"SAC '21: The 36th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Virtual Event Republic of Korea","acronym":"SAC '21"},"container-title":["Proceedings of the 36th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442050","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3412841.3442050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:25Z","timestamp":1750195465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3412841.3442050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,3,22]]},"references-count":29,"alternative-id":["10.1145\/3412841.3442050","10.1145\/3412841"],"URL":"https:\/\/doi.org\/10.1145\/3412841.3442050","relation":{},"subject":[],"published":{"date-parts":[[2021,3,22]]},"assertion":[{"value":"2021-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}