{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,15]],"date-time":"2025-05-15T18:03:33Z","timestamp":1747332213039,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662696026"},{"type":"electronic","value":"9783662696033"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-662-69603-3_5","type":"book-chapter","created":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T13:01:41Z","timestamp":1721480501000},"page":"119-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Optimistic Data Generation for\u00a0JSON Schema"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-8454-6364","authenticated-orcid":false,"given":"Lyes","family":"Attouche","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2728-5838","authenticated-orcid":false,"given":"Mohamed-Amine","family":"Baazizi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6031-0049","authenticated-orcid":false,"given":"Dario","family":"Colazzo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,7,21]]},"reference":[{"key":"5_CR1","unstructured":"Json everything. https:\/\/github.com\/gregsdennis\/json-everything"},{"key":"5_CR2","unstructured":"Json faker. https:\/\/github.com\/json-schema-faker\/json-schema-faker"},{"key":"5_CR3","unstructured":"Json generator. https:\/\/github.com\/jimblackler\/jsongenerator"},{"key":"5_CR4","unstructured":"Json schema test suite (2020). https:\/\/github.com\/json-schema-org\/JSON-Schema-Test-Suite\/blob\/master\/tests\/draft6\/additionalProperties.json"},{"key":"5_CR5","unstructured":"Json schema validator (2022). Accessed 19 Sept 2022"},{"key":"5_CR6","unstructured":"Attouche, L., et al.: A tool for json schema witness generation (2021)"},{"key":"5_CR7","unstructured":"Attouche, L., Baazizi, M.A., Colazzo, D.: Overview and perspectives for optimistic JSON schema witness generarion. In: 23\u00e8mes Journ\u00e9es Bases de Donn\u00e9es Avanc\u00e9es, BDA (2023)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Attouche, L., Baazizi, M.A., Colazzo, D., Ghelli, G., Sartiani, C., Scherzinger, S.: Witness generation for JSON schema. Proc. VLDB Endow. 15(13), 4002\u20134014 (2022)","DOI":"10.14778\/3565838.3565852"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Baazizi, M.A., Colazzo, D., Ghelli, G., Sartiani, C., Scherzinger, S.: Negation-closure for JSON schema. Theor. Comput. Sci. 955, 113823 (2023)","DOI":"10.1016\/j.tcs.2023.113823"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Bourhis, P., Reutter, J.L., Su\u00e1rez, F., Vrgoc, D.: JSON: data model, query languages and schema specification. In: Sallinger, E., Van den Bussche, J., Geerts, F. (eds.) PODS, pp. 123\u2013135. ACM (2017)","DOI":"10.1145\/3034786.3056120"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Habib, A., Shinnar, A., Hirzel, M., Pradel, M.: Finding data compatibility bugs with JSON subschema checking. In: ISSTA 2021: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, 11\u201317 July 2021, pp. 620\u2013632 (2021)","DOI":"10.1145\/3460319.3464796"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Hall, P.: On representatives of subsets. J. London Math. Soc. 26\u201330 (1935)","DOI":"10.1112\/jlms\/s1-10.37.26"},{"key":"5_CR13","unstructured":"M\u00f8ller, A.: dk.brics.automaton \u2013 Finite-State Automata and Regular Expressions for Java (2021). https:\/\/www.brics.dk\/automaton\/. Accessed 19 Sept 2022"},{"key":"5_CR14","unstructured":"Wright, A., Andrews, H., Hutton, B.: JSON schema validation: a vocabulary for structural validation of json - draft-handrews-json-schema-validation-02. Technical report, Internet Engineering Task Force (2019)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Large-Scale Data- and Knowledge-Centered Systems LVI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-69603-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,20]],"date-time":"2024-07-20T13:03:32Z","timestamp":1721480612000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-69603-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783662696026","9783662696033"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-69603-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"21 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}