{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T17:38:40Z","timestamp":1740159520613,"version":"3.37.3"},"reference-count":4,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2022,10,7]],"date-time":"2022-10-07T00:00:00Z","timestamp":1665100800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,10,7]],"date-time":"2022-10-07T00:00:00Z","timestamp":1665100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Datenbank Spektrum"],"published-print":{"date-parts":[[2022,11]]},"DOI":"10.1007\/s13222-022-00423-0","type":"journal-article","created":{"date-parts":[[2022,10,7]],"date-time":"2022-10-07T10:06:41Z","timestamp":1665137201000},"page":"261-263","source":"Crossref","is-referenced-by-count":0,"title":["Report from Dagstuhl Seminar 21442: Ensuring the Reliability and Robustness of Database Management Systems"],"prefix":"10.1007","volume":"22","author":[{"given":"Manuel","family":"Rigger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2593-6521","authenticated-orcid":false,"given":"Alexander","family":"B\u00f6hm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Christakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Lo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,7]]},"reference":[{"key":"423_CR1","doi-asserted-by":"publisher","first-page":"1140","DOI":"10.1145\/3368089.3409710","volume-title":"ESEC\/FSE \u201920: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8\u201313, 2020, ACM","author":"M Rigger","year":"2020","unstructured":"Rigger M, Su Z (2020a) Detecting optimization bugs in database engines via non-optimizing reference engine construction. In: Devanbu P, Cohen MB, Zimmermann T (eds) ESEC\/FSE \u201920: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8\u201313, 2020, ACM, pp 1140\u20131152 https:\/\/doi.org\/10.1145\/3368089.3409710"},{"key":"423_CR2","doi-asserted-by":"publisher","first-page":"211:1","DOI":"10.1145\/3428279","volume-title":"Proc ACM Program Lang 4(OOPSLA)","author":"M Rigger","year":"2020","unstructured":"Rigger M, Su Z (2020b) Finding bugs in database systems via query partitioning. In: Proc ACM Program Lang 4(OOPSLA), pp 211:1\u2013211:30 https:\/\/doi.org\/10.1145\/3428279"},{"key":"423_CR3","first-page":"667","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4\u20136, 2020, USENIX Association","author":"M Rigger","year":"2020","unstructured":"Rigger M, Su Z (2020c) Testing database engines via pivoted query synthesis. In: 14th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2020, Virtual Event, November 4\u20136, 2020, USENIX Association, pp 667\u2013682 (https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/rigger)"},{"issue":"10","key":"423_CR4","doi-asserted-by":"publisher","first-page":"20","DOI":"10.4230\/DagRep.11.10.20","volume":"11","author":"A B\u00f6hm","year":"2021","unstructured":"B\u00f6hm A, Christakis M, Lo E, Rigger M (2021) Ensuring the reliability and robustness of database management systems (dagstuhl seminar 21442). Dagstuhl Rep 11(10):20\u201335. https:\/\/doi.org\/10.4230\/DagRep.11.10.20","journal-title":"Dagstuhl Rep"}],"container-title":["Datenbank-Spektrum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13222-022-00423-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13222-022-00423-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13222-022-00423-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,10]],"date-time":"2023-02-10T17:18:32Z","timestamp":1676049512000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13222-022-00423-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,7]]},"references-count":4,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,11]]}},"alternative-id":["423"],"URL":"https:\/\/doi.org\/10.1007\/s13222-022-00423-0","relation":{},"ISSN":["1618-2162","1610-1995"],"issn-type":[{"type":"print","value":"1618-2162"},{"type":"electronic","value":"1610-1995"}],"subject":[],"published":{"date-parts":[[2022,10,7]]}}}