{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:23:58Z","timestamp":1725614638689},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1109\/icde.2008.4497614","type":"proceedings-article","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T15:04:39Z","timestamp":1209481479000},"page":"1534-1536","source":"Crossref","is-referenced-by-count":3,"title":["Automatic Result Verification for the Functional Testing of a Query Language"],"prefix":"10.1109","author":[{"given":"Carsten","family":"Binnig","sequence":"first","affiliation":[]},{"given":"Donald","family":"Kossmann","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Lo","sequence":"additional","affiliation":[]},{"given":"Angel","family":"Saenz-Badillos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"13"},{"year":"0","key":"14"},{"journal-title":"Testing object-oriented systemns models patters and tools","year":"1999","author":"binder","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2006.190"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/974044.974060"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/B978-012088469-8\/50091-7"},{"key":"1","first-page":"618","article-title":"massive stochastic testing of sql","author":"slutz","year":"1998","journal-title":"VLDB"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2008.4497614"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247520"},{"key":"6","first-page":"1097","article-title":"flexible database generators","author":"bruno","year":"2005","journal-title":"VLDB"},{"key":"5","first-page":"1243","article-title":"sinple and realistic data generation","author":"houkjar","year":"2006","journal-title":"VLDB"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/191843.191886"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1247480.1247580"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE.2007.367896"}],"event":{"name":"2008 IEEE 24th International Conference on Data Engineering (ICDE 2008)","start":{"date-parts":[[2008,4,7]]},"location":"Cancun, Mexico","end":{"date-parts":[[2008,4,12]]}},"container-title":["2008 IEEE 24th International Conference on Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4492792\/4497384\/04497614.pdf?arnumber=4497614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T18:55:49Z","timestamp":1489690549000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4497614\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/icde.2008.4497614","relation":{},"subject":[],"published":{"date-parts":[[2008,4]]}}}